02. – 06. Januar 2012, Dagstuhl Seminar 12011

Foundations for Scripting Languages


Robert Hirschfeld (Hasso-Plattner-Institut – Potsdam, DE), Shriram Krishnamurthi (Brown University – Providence, US), Erik Meijer (Microsoft Corporation – Redmond, US), Jan Vitek (Purdue University – West Lafayette, US)

Top

08. – 13. Januar 2012, Dagstuhl Seminar 12021

Computability, Complexity and Randomness


Veronica Becher (University of Buenos Aires, AR), Laurent Bienvenu (University of Paris VII, FR), Rodney Downey (Victoria University – Wellington, NZ), Elvira Mayordomo (University of Zaragoza, ES)

Top

15. – 20. Januar 2012, Dagstuhl Seminar 12031

Symmetric Cryptography


Frederik Armknecht (Universität Mannheim, DE), Stefan Lucks (Bauhaus-Universität Weimar, DE), Bart Preneel (KU Leuven, BE), Phillip Rogaway (University of California – Davis, US)

Top

22. – 27. Januar 2012, Dagstuhl Seminar 12041

Learning in Multiobjective Optimization


Salvatore Greco (Università di Catania, IT), Joshua D. Knowles (University of Manchester, GB), Kaisa Miettinen (University of Jyvaskyla, FI & KTH Royal Institute of Technology – Stockholm, SE), Eckart Zitzler (PH Bern, CH)

Die Dagstuhl-Stiftung erhielt eine Spende von: Esteco

Top

29. Januar – 03. Februar 2012, Dagstuhl Seminar 12051

Analysis of Executables: Benefits and Challenges


Andy M. King (University of Kent, GB), Alan Mycroft (University of Cambridge, GB), Thomas W. Reps (University of Wisconsin – Madison, US), Axel Simon (TU München, DE)

Top

05. – 10. Februar 2012, Dagstuhl Seminar 12061

Network Attack Detection and Defense Early Warning Systems - Challenges and Perspectives


Georg Carle (TU München, DE), Hervé Debar (Télécom & Management SudParis – Evry, FR), Hartmut König (BTU Cottbus, DE), Jelena Mirkovic (USC – Marina del Rey, US)

Top

12. – 17. Februar 2012, Dagstuhl Seminar 12071

Software Clone Management Towards Industrial Application


Ira D. Baxter (Semantic Designs – Austin, US), Michael Conradt (Google – München, DE), James R. Cordy (Queen's University – Kingston, CA), Stan Jarzabek (National University of Singapore, SG), Rainer Koschke (Universität Bremen, DE)

Top

19. – 24. Februar 2012, Dagstuhl Seminar 12081

Information Visualization, Visual Data Mining and Machine Learning


Daniel A. Keim (Universität Konstanz, DE), Fabrice Rossi (University of Paris I, FR), Thomas Seidl (RWTH Aachen, DE), Michel Verleysen (University of Louvain, BE), Stefan Wrobel (Fraunhofer IAIS, St. Augustin, DE & University of Bonn, DE)

Top

26. Februar – 02. März 2012, Dagstuhl Seminar 12091

Principles of Provenance


James Cheney (University of Edinburgh, GB), Anthony Finkelstein (University College London, GB), Bertram Ludäscher (University of California – Davis, US), Stijn Vansummeren (University of Brussels, BE)

Top

04. – 09. März 2012, Dagstuhl Seminar 12101

Computation and Incentives in Social Choice


Edith Elkind (Nanyang TU – Singapore, SG), Christian Klamler (Universität Graz, AT), Jeffrey S. Rosenschein (The Hebrew University of Jerusalem, IL), M. Remzi Sanver (Istanbul Bilgi University, TR)

Top

11. – 16. März 2012, Dagstuhl Seminar 12111

Normative Multi-Agent Systems


Giulia Andrighetto (European University Institute, IT), Guido Governatori (NICTA – Brisbane, AU), Pablo Noriega (IIIA – CSIC – Barcelona, ES), Leon van der Torre (University of Luxembourg, LU)

Top

18. – 23. März 2012, Dagstuhl Seminar 12121

Applications of Combinatorial Topology to Computer Science


Lisbeth Fajstrup (Aalborg University, DK), Dmitry Feichtner-Kozlov (Universität Bremen, DE), Robert Ghrist (University of Pennsylvania, US), Maurice Herlihy (Brown University – Providence, US)

Top

25. – 30. März 2012, Dagstuhl Seminar 12131

Open Models as a Foundation of Future Enterprise Systems


Robert B. France (Colorado State University, US), Ulrich Frank (Universität Duisburg-Essen, DE), Andreas Oberweis (KIT – Karlsruher Institut für Technologie, DE), Matti Rossi (Aalto University, FI)

Top

09. – 12. April 2012, Dagstuhl Seminar 12151

Touching the 3rd Dimension


Hrvoje Benko (Microsoft Corporation – Redmond, US), Jean-Baptiste de la Rivière (Immersion SAS – Bordeaux, FR), Daniel Keefe (University of Minnesota – Minneapolis, US), Antonio Krüger (DFKI – Saarbrücken, DE)

Top

09. – 13. April 2012, Dagstuhl Seminar 12152

Software Synthesis


Rastislav Bodik (University of California – Berkeley, US), Sumit Gulwani (Microsoft Corporation – Redmond, US), Eran Yahav (Technion – Haifa, IL)

Top

15. – 20. April 2012, Dagstuhl Seminar 12161

Abstractions for scalable multi-core computing


Faith Ellen (University of Toronto, CA), Christof Fetzer (TU Dresden, DE), Tim Harris (Microsoft Research UK – Cambridge, GB), Nir Shavit (Tel Aviv University, IL)

Die Dagstuhl-Stiftung erhielt eine Spende von: Microsoft Research, Cambridge, UK

Top

22. – 27. April 2012, Dagstuhl Seminar 12171

Semantic Data Management


Karl Aberer (EPFL – Lausanne, CH), Grigoris Antoniou (University of Huddersfield, GB), Oscar Corcho (Technical University of Madrid, ES), Rudi Studer (KIT – Karlsruher Institut für Technologie, DE)

Top

01. – 04. Mai 2012, Dagstuhl Seminar 12181

Quality of Experience: From User Perception to Instrumental Metrics


Markus Fiedler (Blekinge Institute of Technology – Karlskrona, SE), Kalevi Kilkki (Aalto University, FI), Sebastian Möller (TU Berlin, DE), Peter Reichl (FTW Forschungszentrum Telekommunikation Wien GmbH, AT)

Top

01. – 04. Mai 2012, Dagstuhl Perspectives Workshop 12182

Social, Supply-Chain, Administrative, Business, Commerce, Political networks: a multi-discipline perspective


Matthias Häsel (Otto Group – Hamburg, DE), Thorsten Quandt (Universität Münster, DE), Gottfried Vossen (Universität Münster, DE)

Top

06. – 11. Mai 2012, Dagstuhl Seminar 12191

Artificial and Computational Intelligence in Games


Simon M. Lucas (University of Essex, GB), Michael Mateas (University of California – Santa Cruz, US), Mike Preuß (TU Dortmund, DE), Pieter Spronck (Tilburg University, NL), Julian Togelius (IT University of Copenhagen, DK)

Top

20. – 25. Mai 2012, GI-Dagstuhl Seminar 12211

Quality-of-Service Attributes in Service- and Cloud-based Systems: Specification, Modelling, Monitoring, Prediction, and Optimisation


Lars Grunske (Universität Stuttgart, DE), Samuel Kounev (KIT – Karlsruher Institut für Technologie, DE), Ina Schaefer (TU Braunschweig, DE)

Top

20. – 25. Mai 2012, Dagstuhl Perspectives Workshop 12212

Co-Design of Systems and Applications for Exascale


Arndt Bode (TU München DE & LRZ Garching, DE), Adolfy Hoisie (Pacific Northwest National Lab. – Richland, US), Dieter Kranzlmüller (LMU München, DE & LRZ Garching, DE), Wolfgang E. Nagel (TU Dresden, DE)

Top

28. Mai – 01. Juni 2012, Dagstuhl Seminar 12221

Cognitive Approaches for the Semantic Web


Dedre Gentner (Northwestern University – Evanston, US), Pascal Hitzler (Wright State University – Dayton, US), Kai-Uwe Kühnberger (Universität Osnabrück, DE), Frank van Harmelen (VU University Amsterdam, NL)

Top

28. – 31. Mai 2012, GI-Dagstuhl Seminar 12222

Multi-Core Software Performance Engineering


Steffen Becker (Universität Paderborn, DE), Jens Happe (SAP SE – Karlsruhe, DE), Heiko Koziolek (ABB AG Forschungszentrum Deutschland – Ladenburg, DE), Petr Tuma (Charles University – Prague, CZ)

Top

03. – 06. Juni 2012, Dagstuhl Seminar 12231

Future Internet for eHealth


Paolo Bonato (Harvard Medical School – Boston, US), Markus Fiedler (Blekinge Institute of Technology – Karlskrona, SE), David Hausheer (TU Darmstadt, DE), Katarzyna Wac (University of Geneva, CH)

Top

03. – 06. Juni 2012, Event 12232

Workshop Wissenschaftsjournalismus "Schreiben über Informatik"


Roswitha Bardohl (Schloss Dagstuhl, DE), Gordon Bolduan (Universität des Saarlandes, DE), Tim Schröder (Oldenburg, DE)

Top

10. – 15. Juni 2012, Dagstuhl Seminar 12241

Data Reduction and Problem Kernels


Michael R. Fellows (Charles Darwin University – Darwin, AU), Jiong Guo (Universität des Saarlandes, DE), Dániel Marx (Hungarian Academy of Sciences – Budapest, HU), Saket Saurabh (University of Bergen, NO)

Top

24. – 29. Juni 2012, Dagstuhl Seminar 12261

Putting Data on the Map


Stephen G. Kobourov (University of Arizona – Tucson, US), Frank van Ham (IBM Netherlands – Amsterdam, NL), Alexander Wolff (Universität Würzburg, DE)

Top

01. – 06. Juli 2012, Dagstuhl Seminar 12271

AI meets Formal Software Development


Alan Bundy (University of Edinburgh, GB), Dieter Hutter (DFKI – Bremen, DE), Cliff B. Jones (University of Newcastle, GB), J Strother Moore (University of Texas – Austin, US)

Top

01. – 06. Juli 2012, Dagstuhl Seminar 12272

Architecture-Driven Semantic Analysis of Embedded Systems


Peter H. Feiler (Carnegie Mellon University – Pittsburgh, US), Jérôme Hugues (ISAE – Toulouse, FR), Oleg Sokolsky (University of Pennsylvania – Philadelphia, US)

Top

08. – 13. Juli 2012, Dagstuhl Seminar 12281

Security and Dependability for Federated Cloud Platforms


Paulo Jorge Esteves-Veríssimo (University of Lisboa, PT), Matthias Schunter (INTEL ICRI – Darmstadt, DE), Marc Shapiro (UPMC – Paris, FR), Michael Waidner (TU Darmstadt, DE)

Top

08. – 13. Juli 2012, Dagstuhl Seminar 12282

Database Workload Management


Shivnath Babu (Duke University – Durham, US), Goetz Graefe (HP Labs – Madison, US), Harumi Anne Kuno (HP Labs – Palo Alto, US)

Top

15. – 20. Juli 2012, Dagstuhl Seminar 12291

Structure Discovery in Biology: Motifs, Networks and Phylogenies


Alberto Apostolico (Georgia Institute of Technology – Atlanta, US), Andreas Dress (Shanghai Institutes for Biological Sciences, CN), Laxmi Parida (IBM TJ Watson Research Center – Yorktown Heights, US)

Top

15. – 20. Juli 2012, Event 12292

Summer School SecVote 2012


Hugo Jonker (University of Luxembourg, LU), Olivier Pereira (UC Louvain, BE), Mark D. Ryan (University of Birmingham, GB), Peter Y. A. Ryan (University of Luxembourg, LU)

Top

05. – 10. August 2012, Dagstuhl Seminar 12321

Robust Query Processing


Goetz Graefe (HP Labs – Madison, US), Wey Guy (Redmond, US), Glenn Paulley (Conestoga College – Kitchener, CA)

Top

12. – 17. August 2012, Dagstuhl Seminar 12331

Mobility Data Mining and Privacy


Christopher W. Clifton (Purdue University – West Lafayette, US), Bart Kuijpers (Hasselt University – Diepenbeek, BE), Katharina Morik (TU Dortmund, DE), Yucel Saygin (Sabanci University – Istanbul, TR)

Top

19. – 24. August 2012, Dagstuhl Seminar 12341

Verifying Reliability


Görschwin Fey (Universität Bremen, DE), Masahiro Fujita (University of Tokyo, JP), Kaushik Roy (Purdue University – West Lafayette, US), Matteo Sonza Reorda (Polytechnic University of Torino, IT)

Top

19. – 24. August 2012, Dagstuhl Seminar 12342

Engineering Multi-Agent Systems


Jürgen Dix (TU Clausthal, DE), Koen V. Hindriks (TU Delft, NL), Brian Logan (University of Nottingham, GB), Wayne Wobcke (UNSW – Sydney, AU)

Top

26. – 31. August 2012, Dagstuhl Seminar 12351

Interaction Beyond the Desktop


Alan Dix (University of Birmingham, GB), James D. Hollan (University of California – San Diego, US), Albrecht Schmidt (Universität Stuttgart, DE), Jürgen Steimle (MIT – Cambridge, US)

Top

26. – 31. August 2012, Dagstuhl Seminar 12352

Information Flow and Its Applications


Samson Abramsky (University of Oxford, GB), Jean Krivine (University Paris-Diderot, FR), Michael W. Mislove (Tulane University, US)

Top

02. – 05. September 2012, Dagstuhl Seminar 12361

Information-centric networking -- Ready for the real world?


Ali Ghodsi (University of California – Berkeley, US), Börje Ohlman (Ericsson Research – Stockholm, SE), Jörg Ott (Aalto University, FI), Ignacio Solis (Xerox PARC – Palo Alto, US)

Top

02. – 07. September 2012, Dagstuhl Seminar 12362

The Multilingual Semantic Web


Paul Buitelaar (National University of Ireland – Galway, IE), Key-Sun Choi (KAIST – Daejeon, KR), Philipp Cimiano (Universität Bielefeld, DE), Eduard H. Hovy (USC – Marina del Rey, US)

Top

05. – 08. September 2012, Dagstuhl Seminar 12363

Software Defined Networking


Pan Hui (T-labs – Berlin, DE & TU Berlin, DE), Jussi Kangasharju (University of Helsinki, FI), Teemu Koponen (Nicira Networks Inc. – Palo Alto, US)

Top

09. – 14. September 2012, Dagstuhl Perspectives Workshop 12371

Machine Learning Methods for Computer Security


Anthony D. Joseph (University of California – Berkeley, US), Pavel Laskov (Universität Tübingen, DE), Fabio Roli (University of Cagliari, IT), Doug Tygar (University of California – Berkeley, US)

Top

09. – 14. September 2012, Dagstuhl Seminar 12372

Biological Data Visualization


Carsten Görg (University of Colorado – Aurora, US), Lawrence Hunter (University of Colorado – Aurora, US), Jessie Kennedy (Edinburgh Napier University, GB), Sean O'Donoghue (CSIRO – North Ryde, AU), Jarke J. van Wijk (TU Eindhoven, NL)

Top

16. – 21. September 2012, Dagstuhl Seminar 12381

Privacy-Oriented Cryptography


Jan Camenisch (IBM Research GmbH – Zürich, CH), Mark Manulis (University of Surrey, GB), Gene Tsudik (University of California – Irvine, US), Rebecca Wright (Rutgers University – Piscataway, US)

Top

18. – 21. September 2012, Dagstuhl Perspectives Workshop 12382

Computation and Palaeography: Potentials and Limits


Tal Hassner (The Open University of Israel – Raanana, IL), Malte Rehbein (Universität Würzburg, DE), Peter A. Stokes (King's College – London, GB), Lior Wolf (Tel Aviv University, IL)

Top

23. – 28. September 2012, Dagstuhl Seminar 12391

Algorithms and Complexity for Continuous Problems


Alexander Keller (NVIDIA GmbH – Berlin, DE), Frances Y. Kuo (UNSW – Sydney, AU), Andreas Neuenkirch (Universität Mannheim, DE), Joseph F. Traub (Columbia University – New York, US)

Top

30. September – 05. Oktober 2012, Dagstuhl Seminar 12401

Web Application Security


Lieven Desmet (KU Leuven, BE), Martin Johns (SAP SE – Karlsruhe, DE), Benjamin Livshits (Microsoft Corporation – Redmond, US), Andrei Sabelfeld (Chalmers UT – Göteborg, SE)

Top

30. September – 05. Oktober 2012, Event 12402

Herbstschule "Information Retrieval"


Andreas Henrich (Universität Bamberg, DE)

Top

07. – 12. Oktober 2012, Dagstuhl Seminar 12411

Coalgebraic Logics


Ernst-Erich Doberkat (TU Dortmund, DE), Alexander Kurz (University of Leicester, GB)

Top

14. – 19. Oktober 2012, Dagstuhl Seminar 12421

Algebraic and Combinatorial Methods in Computational Complexity


Manindra Agrawal (Indian Institute of Technology – Kanpur, IN), Thomas Thierauf (Hochschule Aalen, DE), Christopher Umans (CalTech – Pasadena, US)

Top

21. – 26. Oktober 2012, Dagstuhl Seminar 12431

Time-of-Flight Imaging: Algorithms, Sensors and Applications


James E. Davis (University of California – Santa Cruz, US), Bernd Jähne (Universität Heidelberg, DE), Andreas Kolb (Universität Siegen, DE), Ramesh Raskar (MIT – Cambridge, US), Christian Theobalt (MPI für Informatik – Saarbrücken, DE)

Top

28. Oktober – 02. November 2012, Dagstuhl Seminar 12441

Foundations and Challenges of Change and Evolution in Ontologies


James P. Delgrande (Simon Fraser University – Burnaby, CA), Thomas Meyer (CSIR Meraka, ZA & University of KwaZulu-Natal, ZA), Ulrike Sattler (University of Manchester, GB)

Top

28. – 31. Oktober 2012, Dagstuhl Seminar 12442

Requirements Management – Novel Perspectives and Challenges


Jane Cleland-Huang (DePaul University – Chicago, US), Matthias Jarke (RWTH Aachen, DE), Lin Liu (Tsinghua University Beijing, CN), Kalle Lyytinen (Case Western Reserve University – Cleveland, US)

Top

04. – 09. November 2012, Dagstuhl Seminar 12451

The Constraint Satisfaction Problem: Complexity and Approximability


Johan Hastad (KTH Royal Institute of Technology, SE), Andrei Krokhin (Durham University, GB), Dániel Marx (Hungarian Academy of Sciences – Budapest, HU)

Top

06. – 09. November 2012, Dagstuhl Perspectives Workshop 12452

Publication Culture in Computing Research


Kurt Mehlhorn (MPI für Informatik – Saarbrücken, DE), Moshe Y. Vardi (Rice University – Houston, US)

Top

11. – 16. November 2012, Dagstuhl Seminar 12461

Games and Decisions for Rigorous Systems Engineering


Nikolaj S. Bjorner (Microsoft Corporation – Redmond, US), Krishnendu Chatterjee (IST Austria – Klosterneuburg, AT), Laura Kovács (TU Wien, AT), Rupak Majumdar (MPI-SWS – Kaiserslautern, DE)

Top

11. – 16. November 2012, Dagstuhl Seminar 12462

Symbolic Methods for Chemical Reaction Networks


Francois Boulier (University of Lille I, FR), Anne J. Shiu (University of Chicago, US), Thomas Sturm (MPI für Informatik – Saarbrücken, DE), Andreas Weber (Universität Bonn, DE)

Top

18. – 23. November 2012, Dagstuhl Seminar 12471

SAT Interactions


Nadia Creignou (University of Marseille, FR), Nicola Galesi (Sapienza University of Rome, IT), Oliver Kullmann (Swansea University, GB), Heribert Vollmer (Leibniz Universität Hannover, DE)

Top

18. – 21. November 2012, Dagstuhl Seminar 12472

Is the Future of Preservation Cloudy?


Erik Elmroth (University of Umeå, SE), Michael Factor (IBM – Haifa, IL), Ethan Miller (University of California – Santa Cruz, US), Margo Seltzer (Harvard University – Cambridge, US)

Top

25. – 30. November 2012, Dagstuhl Seminar 12481

Quantitative Security Analysis


Boris Köpf (IMDEA Software – Madrid, ES), Pasquale Malacaria (Queen Mary University of London, GB), Catuscia Palamidessi (Ecole Polytechnique – Palaiseau, FR)

Top

25. – 28. November 2012, Dagstuhl Seminar 12482

Analysis of Security APIs


Mike Bond (University of Cambridge, GB), Riccardo Focardi (University of Venezia, IT), Sibylle Fröschle (OFFIS – Oldenburg, DE), Graham Steel (ENS – Cachan, FR)

Top

02. – 07. Dezember 2012, Dagstuhl Seminar 12491

Interpreting Observed Action


Susanne Biundo-Stephan (Universität Ulm, DE), Hans Werner Guesgen (Massey University, NZ), Joachim Hertzberg (Universität Osnabrück, DE), Stephen R. Marsland (Massey University, NZ)

Top

02. – 07. Dezember 2012, Dagstuhl Seminar 12492

Human Activity Recognition in Smart Environments


James Bo Begole (Samsung Research – San Jose, US), James L. Crowley (INRIA – Grenoble, FR), Paul Lukowicz (DFKI – Kaiserslautern, DE), Albrecht Schmidt (Universität Stuttgart, DE)

Top

09. – 12. Dezember 2012, Dagstuhl Seminar 12501

Organizational Processes for Supporting Sustainable Security


Lizzie Coles-Kemp (Royal Holloway University of London, GB), Carrie Gates (CA Labs – Islandia, US), Dieter Gollmann (TU Hamburg-Harburg, DE), Jeffrey Hunker (Point Park University – Pittsburgh, US), Sean Peisert (University of California – Davis, US)

Top

09. – 12. Dezember 2012, Dagstuhl Seminar 12502

Securing Critical Infrastructures from Targeted Attacks


Marc C. Dacier (Symantec Research Labs – Sophia Antipolis, FR), Frank Kargl (Uni Twente, NL & Uni Ulm, DE), Alfonso Valdes (University of Illinois – Urbana Champaign, US)

Top

12. – 14. Dezember 2012, Event 12503

Lehrerfortbildung in Informatik


Heinz Dabrock (LPM Saarbrücken, DE), Reinhard Wilhelm (Universität des Saarlandes, DE), Martin Zimnol (Pädagogisches Landesinstitut Rheinland-Pfalz, DE)

Top

16. – 21. Dezember 2012, Dagstuhl Seminar 12511

Divide and Conquer: the Quest for Compositional Design and Analysis


Marieke Huisman (University of Twente, NL), Barbara Jobstmann (VERIMAG – Grenoble, FR), Ina Schaefer (TU Braunschweig, DE), Marielle Stoelinga (University of Twente, NL)

Top

16. – 21. Dezember 2012, Dagstuhl Seminar 12512

Representation, Analysis and Visualization of Moving Objects


Joachim Gudmundsson (The University of Sydney, AU), Patrick Laube (Universität Zürich, CH), Sabine Timpf (Universität Augsburg, DE), Emiel Van Loon (University of Amsterdam, NL)

Top