Alle Veranstaltungen 2012:



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

15. – 18. Januar 2012, Event 12032

Klausurtagung GESIS


York Sure-Vetter (GESIS – Mannheim, DE)

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

22. – 25. Januar 2012, Event 12042

Erneuerbare Mobilität - Konzepte für die Mobilität von Morgen


Frank Geraets (Deutsche Bahn – Berlin, DE), Karl-Heinz Krempels (RWTH Aachen, DE), Christoph Terwelp (RWTH Aachen, DE)

Top

25. – 26. Januar 2012, Event 12043

Treffen ZBMATH & DBLP


Marcel R. Ackermann (Schloss Dagstuhl, DE), Marc Herbstritt (Schloss Dagstuhl, DE)

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

01. – 02. Februar 2012, Event 12053

Projekt-Implementierungs-Treffen


H. Dieter Rombach (Fraunhofer IESE – Kaiserslautern, DE)

Top

03. Februar 2012, Event 12054

Studientag "Personal Branding und neue Medien"


Enrico Lieblang (HTW – Saarbrücken, DE), Nicole Schwarz (HTW – Saarbrücken, 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

06. – 08. Februar 2012, Event 12062

Modellbasierte Entwicklung eingebetteter Systeme (MBEES)


Holger Giese (Hasso-Plattner-Institut – Potsdam, DE), Michaela Huhn (TU Clausthal, DE), Bernhard Schätz (fortiss GmbH – München, DE)

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

12. – 15. Februar 2012, Event 12072

Erneuerbare Mobilität – Angebote für die Mobilität von Morgen


Karl-Heinz Krempels (RWTH Aachen, DE), Christoph Terwelp (RWTH Aachen, DE)

Top

15. – 17. Februar 2012, Event 12073

Lehrstuhltreffen AG Zeller/Hack


Andreas Zeller (Universität des Saarlandes, DE)

Top

15. – 17. Februar 2012, Event 12074

Lehrstuhltreffen Hanebeck


Uwe D. Hanebeck (KIT – Karlsruher Institut für Technologie, 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

20. – 23. Februar 2012, Event 12082

Workshop on "Quantum Computing"


Jörg Hettel (HS Kaiserslautern – Zweibrücken, DE), Hans-Jürgen Steffens (HS Kaiserslautern – Zweibrücken, DE)

Top

21. – 24. Februar 2012, Event 12083

Klausurtagung: Software Systems Engineering - LST Schmid


Klaus Schmid (Universität Hildesheim, 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

27. Februar – 02. März 2012, Event 12092

Klausurtagung "Numerical Simulation, Optimization and High Performance Computing - Software Design for Numerical Libraries"


Vincent Heuveline (KIT – Karlsruher Institut für Technologie, DE)

Top

27. – 28. Februar 2012, Event 12093

Offsite Meeting Commercial Performance Management


Thomas In der Rieden (T-Systems International GmbH – Saarbrücken, DE)

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

04. – 07. März 2012, Event 12102

Deutsch-Japanisches Symposium


Michael Beigl (KIT – Karlsruher Institut für Technologie, DE), Antonio Krüger (DFKI – Saarbrücken, DE)

Top

05. – 09. März 2012, Event 12109

Forschungsaufenthalt


Albert Zündorf (Universität Kassel, DE)

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

11. – 14. März 2012, Event 12112

Lehrstuhltreffen Fischlin


Marc Fischlin (TU Darmstadt, DE)

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

21. – 23. März 2012, Event 12123

Klausurtagung Telematik Karlsruhe


Sören Finster (KIT – Karlsruher Institut für Technologie, DE), Martina Zitterbart (KIT – Karlsruher Institut für Technologie, DE)

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

25. – 28. März 2012, Event 12132

Klausurtagung "LST Rannenberg"


Kai Rannenberg (Goethe-Universität Frankfurt am Main, DE)

Top

29. – 30. März 2012, Event 12134

EUSJA Workshop: Information and Communication Technology in Europe


Friederike Meyer zu Tittingdorf (Saarbrücken, DE)

Top

01. – 04. April 2012, Event 12142

Lehrstuhltreffen „Embedded Intelligence“


Bernhard Sick (Universität Kassel, DE)

Top

01. – 04. April 2012, Event 12143

GIBU 2012: GI-Beirat der Universitätsprofessoren


Gregor Snelting (KIT – Karlsruher Institut für Technologie, DE)

Top

02. – 04. April 2012, Event 12144

IMAGINE Project - Dagstuhl Meeting


Raimund Bröchler (INTRASOFT International SA – Luxembourg, LU)

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

16. April 2012, Event 12162

Projekttreffen "Schnittstellen in der medizinischen Versorgung und ihre Überwindung durch Einsatz innovater Lehr-/Lern-Technologien"


Christoph Igel (Universität des Saarlandes, DE)

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-Perspektive-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

01. – 04. Mai 2012, Event 12183

Erneuerbare Mobilität – alternative Verkehrssysteme für die Mobilität von Morgen


Frank Geraets (Deutsche Bahn – Berlin, DE), Karl-Heinz Krempels (RWTH Aachen, DE), Niko Mehl (Stadtwerke Osnabrück, DE)

Top

02. Mai 2012, Event 12184

Treffen DBLP/GESIS


Oliver Hoffmann (Schloss Dagstuhl, 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

06. – 11. Mai 2012, Event 12192

CELSTEC Retreat Meeting


Rob Koper (Open University – Heerlen, NL)

Top

13. – 16. Mai 2012, Event 12202

Kolloquium zum GI Dissertationspreis 2011


Steffen Hölldobler (TU Dresden, DE)

Top

13. – 16. Mai 2012, Event 12203

Doktorandenseminar


Bernhard Nebel (Universität Freiburg, DE)

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-Perspektive-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

04. – 05. Juni 2012, Event 12233

econnect Workshop - RWTH Aachen


Karl-Heinz Krempels (RWTH Aachen, DE), Christoph Terwelp (RWTH Aachen, 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

11. – 12. Juni 2012, Event 12242

The Belgian School of Database Theory


Jan Paredaens (University of Antwerp, BE), Jan Van den Bussche (Hasselt University – Diepenbeek, BE)

Top

12. – 15. Juni 2012, Event 12243

IOI-Training


Christoph Weidenbach (MPI für Informatik – Saarbrücken, DE)

Top

17. – 20. Juni 2012, Event 12252

Gemeinsamer Workshop der Graduiertenkollegs I: GK 1651 SOAMED et al.


Kristian Duske (TU Berlin, DE), Daniel Janusz (HU Berlin, DE), Wolfgang Reisig (HU Berlin, DE)

Top

18. – 19. Juni 2012, Event 12255

Treffen ZBMATH & DBLP


Marcel R. Ackermann (Schloss Dagstuhl, DE)

Top

20. – 22. Juni 2012, Event 12253

Gemeinsamer Workshop der Graduiertenkollegs II: GK 1424 MUSAMA el al.


Alexander Gladisch (Universität Rostock, DE), Thomas Kirste (Universität Rostock, DE), Kristina Yordanova (Universität Rostock, DE)

Top

20. – 21. Juni 2012, Event 12254

Deutsch-Pakistanischer Workshop


Karsten Berns (TU Kaiserslautern, DE)

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

24. – 27. Juni 2012, Event 12262

Klausurtagung FG Security Engineering


Stefan Katzenbeisser (TU Darmstadt, DE), Martin Mink (TU Darmstadt, 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

12. – 13. Juli 2012, Event 12283

Lehrstuhltreffen AG Wilhelm


Reinhard Wilhelm (Universität des Saarlandes, DE)

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

06. – 07. August 2012, Event 12322

Projekttreffen "BMBF-Antrag"


Hans Hagen (TU Kaiserslautern, DE)

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

13. – 16. August 2012, Event 12333

Klausurtagung LST Organic Computing und FG Softwaretechnik für Ubiquitous-Computing Anwendungen


Jörg Hähner (Universität Augsburg, DE), Sven Tomforde (Universität Augsburg, DE)

Top

14. – 17. August 2012, Event 12332

Klausurtagung LST Stuckenschmidt


Heiner Stuckenschmidt (Universität Mannheim, DE)

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

28. – 31. August 2012, Event 12353

CEBug-Treffen


Bernd Becker (Universität Freiburg, DE)

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-Perspektive-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-Perspektive-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

19. – 21. September 2012, Event 12389

Forschungsaufenthalt


Stephan Diehl (Universität Trier, DE)

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

23. – 27. September 2012, Event 12392

Klausurtagung "LST Freiling"


Felix Freiling (Universität Erlangen-Nürnberg, DE)

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

05. – 07. Oktober 2012, Event 12409

Forschungsaufenthalt


Egon Börger (University of Pisa, IT)

Top

07. – 12. Oktober 2012, Dagstuhl-Seminar 12411

Coalgebraic Logics


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

Top

08. – 10. Oktober 2012, Event 12412

Klausurtagung Graduierten-Kolleg 1194


Tobias Gädeke (KIT – Karlsruher Institut für Technologie, DE), Uwe D. Hanebeck (KIT – Karlsruher Institut für Technologie, DE)

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

14. – 19. Oktober 2012, Event 12422

Semantic Statistics for Social, Behavioural, and Economic Sciences: Leveraging the DDI Model for the Linked Data Web


Richard Cyganiak (National University of Ireland – Galway, IE), Arofan Gregory (Open Data Foundation – Tucson, US), Wendy Thomas (University of Minnesota – Minneapolis, US), Joachim Wackerow (GESIS – Mannheim, DE)

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

21. – 26. Oktober 2012, Event 12432

DDI Lifecycle: Moving Forward


Arofan Gregory (Open Data Foundation – Tucson, US), Wendy Thomas (University of Minnesota – Minneapolis, US), Mary Vardigan (University of Michigan – Ann Arbor, US), Joachim Wackerow (GESIS – Mannheim, 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

31. Oktober – 02. November 2012, Event 12443

Doktorandenseminar Prof. Halang


Wolfgang A. Halang (FernUniversität in Hagen, DE)

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-Perspektive-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

22. – 23. November 2012, Event 12474

IT-Seminar LST Thomas Engel


Thomas Engel (University of Luxembourg, LU)

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

28. – 30. November 2012, Event 12483

Klausurtagung "LST Schmeck"


Florian Allerding (KIT – Karlsruher Institut für Technologie, DE), Hartmut Schmeck (KIT – Karlsruher Institut für Technologie, DE)

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

05. – 07. Dezember 2012, Event 12494

Klausurtagung ICSY


Paul Müller (TU Kaiserslautern, 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