All Events 2012:



January 2 – 6 , 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

January 8 – 13 , 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

January 15 – 20 , 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

January 15 – 18 , 2012, Event 12032

Klausurtagung GESIS


York Sure-Vetter (GESIS – Mannheim, DE)

Top

January 22 – 27 , 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)

The Dagstuhl Foundation received a donation from: Esteco

Top

January 22 – 25 , 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

January 25 – 26 , 2012, Event 12043

Treffen ZBMATH & DBLP


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

Top

January 29 – February 3 , 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

February 1 – 2 , 2012, Event 12053

Projekt-Implementierungs-Treffen


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

Top

February 3 2012, Event 12054

Studientag "Personal Branding und neue Medien"


Enrico Lieblang (HTW – Saarbrücken, DE), Nicole Schwarz (HTW – Saarbrücken, DE)

Top

February 5 – 10 , 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

February 6 – 8 , 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

February 12 – 17 , 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

February 12 – 15 , 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

February 15 – 17 , 2012, Event 12073

Lehrstuhltreffen AG Zeller/Hack


Andreas Zeller (Universität des Saarlandes, DE)

Top

February 15 – 17 , 2012, Event 12074

Lehrstuhltreffen Hanebeck


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

Top

February 19 – 24 , 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

February 20 – 23 , 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

February 21 – 24 , 2012, Event 12083

Klausurtagung: Software Systems Engineering - LST Schmid


Klaus Schmid (Universität Hildesheim, DE)

Top

February 26 – March 2 , 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

February 27 – March 2 , 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

February 27 – 28 , 2012, Event 12093

Offsite Meeting Commercial Performance Management


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

Top

March 4 – 9 , 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

March 4 – 7 , 2012, Event 12102

Deutsch-Japanisches Symposium


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

Top

March 5 – 9 , 2012, Event 12109

Forschungsaufenthalt


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

Top

March 11 – 16 , 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

March 11 – 14 , 2012, Event 12112

Lehrstuhltreffen Fischlin


Marc Fischlin (TU Darmstadt, DE)

Top

March 18 – 23 , 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

March 21 – 23 , 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

March 25 – 30 , 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

March 25 – 28 , 2012, Event 12132

Klausurtagung "LST Rannenberg"


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

Top

March 29 – 30 , 2012, Event 12134

EUSJA Workshop: Information and Communication Technology in Europe


Friederike Meyer zu Tittingdorf (Saarbrücken, DE)

Top

April 1 – 4 , 2012, Event 12142

Lehrstuhltreffen „Embedded Intelligence“


Bernhard Sick (Universität Kassel, DE)

Top

April 1 – 4 , 2012, Event 12143

GIBU 2012: GI-Beirat der Universitätsprofessoren


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

Top

April 2 – 4 , 2012, Event 12144

IMAGINE Project - Dagstuhl Meeting


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

Top

April 9 – 12 , 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

April 9 – 13 , 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

April 15 – 20 , 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)

The Dagstuhl Foundation received a donation from: Microsoft Research, Cambridge, UK

Top

April 16 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

April 22 – 27 , 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

May 1 – 4 , 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

May 1 – 4 , 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

May 1 – 4 , 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

May 2 2012, Event 12184

Treffen DBLP/GESIS


Oliver Hoffmann (Schloss Dagstuhl, DE)

Top

May 6 – 11 , 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

May 6 – 11 , 2012, Event 12192

CELSTEC Retreat Meeting


Rob Koper (Open University – Heerlen, NL)

Top

May 13 – 16 , 2012, Event 12202

Kolloquium zum GI Dissertationspreis 2011


Steffen Hölldobler (TU Dresden, DE)

Top

May 13 – 16 , 2012, Event 12203

Doktorandenseminar


Bernhard Nebel (Universität Freiburg, DE)

Top

May 20 – 25 , 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

May 20 – 25 , 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

May 28 – June 1 , 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

May 28 – 31 , 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

June 3 – 6 , 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

June 3 – 6 , 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

June 4 – 5 , 2012, Event 12233

econnect Workshop - RWTH Aachen


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

Top

June 10 – 15 , 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

June 11 – 12 , 2012, Event 12242

The Belgian School of Database Theory


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

Top

June 12 – 15 , 2012, Event 12243

IOI-Training


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

Top

June 17 – 20 , 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

June 18 – 19 , 2012, Event 12255

Treffen ZBMATH & DBLP


Marcel R. Ackermann (Schloss Dagstuhl, DE)

Top

June 20 – 22 , 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

June 20 – 21 , 2012, Event 12254

Deutsch-Pakistanischer Workshop


Karsten Berns (TU Kaiserslautern, DE)

Top

June 24 – 29 , 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

June 24 – 27 , 2012, Event 12262

Klausurtagung FG Security Engineering


Stefan Katzenbeisser (TU Darmstadt, DE), Martin Mink (TU Darmstadt, DE)

Top

July 1 – 6 , 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

July 1 – 6 , 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

July 8 – 13 , 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

July 8 – 13 , 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

July 12 – 13 , 2012, Event 12283

Lehrstuhltreffen AG Wilhelm


Reinhard Wilhelm (Universität des Saarlandes, DE)

Top

July 15 – 20 , 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

July 15 – 20 , 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

August 5 – 10 , 2012, Dagstuhl Seminar 12321

Robust Query Processing


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

Top

August 6 – 7 , 2012, Event 12322

Projekttreffen "BMBF-Antrag"


Hans Hagen (TU Kaiserslautern, DE)

Top

August 12 – 17 , 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

August 13 – 16 , 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

August 14 – 17 , 2012, Event 12332

Klausurtagung LST Stuckenschmidt


Heiner Stuckenschmidt (Universität Mannheim, DE)

Top

August 19 – 24 , 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

August 19 – 24 , 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

August 26 – 31 , 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

August 26 – 31 , 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

August 28 – 31 , 2012, Event 12353

CEBug-Treffen


Bernd Becker (Universität Freiburg, DE)

Top

September 2 – 5 , 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

September 2 – 7 , 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

September 5 – 8 , 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

September 9 – 14 , 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

September 9 – 14 , 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

September 16 – 21 , 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

September 18 – 21 , 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

September 19 – 21 , 2012, Event 12389

Forschungsaufenthalt


Stephan Diehl (Universität Trier, DE)

Top

September 23 – 28 , 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

September 23 – 27 , 2012, Event 12392

Klausurtagung "LST Freiling"


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

Top

September 30 – October 5 , 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

September 30 – October 5 , 2012, Event 12402

Herbstschule "Information Retrieval"


Andreas Henrich (Universität Bamberg, DE)

Top

October 5 – 7 , 2012, Event 12409

Forschungsaufenthalt


Egon Börger (University of Pisa, IT)

Top

October 7 – 12 , 2012, Dagstuhl Seminar 12411

Coalgebraic Logics


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

Top

October 8 – 10 , 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

October 14 – 19 , 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

October 14 – 19 , 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

October 21 – 26 , 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

October 21 – 26 , 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

October 28 – November 2 , 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

October 28 – 31 , 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

October 31 – November 2 , 2012, Event 12443

Doktorandenseminar Prof. Halang


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

Top

November 4 – 9 , 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

November 6 – 9 , 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

November 11 – 16 , 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

November 11 – 16 , 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

November 18 – 23 , 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

November 18 – 21 , 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

November 22 – 23 , 2012, Event 12474

IT-Seminar LST Thomas Engel


Thomas Engel (University of Luxembourg, LU)

Top

November 25 – 30 , 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

November 25 – 28 , 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

November 28 – 30 , 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

December 2 – 7 , 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

December 2 – 7 , 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

December 5 – 7 , 2012, Event 12494

Klausurtagung ICSY


Paul Müller (TU Kaiserslautern, DE)

Top

December 9 – 12 , 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

December 9 – 12 , 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

December 12 – 14 , 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

December 16 – 21 , 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

December 16 – 21 , 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