06. – 11. Januar 2013, Dagstuhl Seminar 13021

Symbolic Methods in Testing


Thierry Jéron (INRIA Rennes - Bretagne Atlantique, FR), Margus Veanes (Microsoft Research - Redmond, US), Burkhart Wolff (University of Paris South XI, FR)

Top

06. – 11. Januar 2013, Dagstuhl Seminar 13022

Engineering Resilient Systems: Models, Methods and Tools


Nicolas Guelfi (University of Luxembourg, LU), Maritta Heisel (Universität Duisburg-Essen, DE), Mohamed Kaaniche (LAAS - Toulouse, FR), Alexander Romanovsky (Newcastle University, GB)

Top

13. – 18. Januar 2013, Dagstuhl Seminar 13031

Computational Counting


Peter Bürgisser (Universität Paderborn, DE), Leslie Ann Goldberg (University of Liverpool, GB), Mark Jerrum (Queen Mary University of London, GB), Pascal Koiran (ENS - Lyon, FR)

Top

13. – 16. Januar 2013, Event 13032

Erneuerbare Mobilität


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

Top

18. Januar 2013, Event 13034

Retreat Forschungsbereich Agenten und Simulierte Realität: "Besprechungen produktiver gestalten"


Philipp Slusallek (DFKI - Saarbrücken, DE)

Top

20. – 25. Januar 2013, Dagstuhl Seminar 13041

Civilian Crisis Response Models


Ozlem Ergun (Georgia Institute of Technology, US), Bernhard Katzy (Leiden University, NL), Ulrike Lechner (Universität der Bundeswehr - München, DE), Luk van Wassenhove (INSEAD - Fontainebleau, FR)

Top

20. – 25. Januar 2013, Dagstuhl Seminar 13042

Epidemic Algorithms and Processes: From Theory to Applications


Benjamin Doerr (MPI für Informatik - Saarbrücken, DE), Robert Elsässer (Universität Salzburg, AT), Pierre Fraigniaud (University Paris-Diderot, FR), Rachid Guerraoui (EPFL - Lausanne, CH)

Top

20. – 22. Januar 2013, Event 13044

Offsite Meeting Commercial Performance Management


Thomas In der Rieden (T-Systems International GmbH, DE)

Top

22. – 25. Januar 2013, Event 13043

Workshop "Annotation and Alignment of Parallel Corpora for Linguistic Research"


Gintare Grigonyte (Universität Zürich, CH & Vytautas Magnus University - Kaunas, LT), Ruta Marcinkeviciene (Vytautas Magnus University - Kaunas, LT), Andrius Utka (Vytautas Magnus University - Kaunas, LT), Martin Volk (Universität Zürich, CH)

Top

27. Januar – 01. Februar 2013, Dagstuhl Seminar 13051

Software Certification: Methods and Tools


Darren Cofer (Rockwell Collins - Cedar Rapids, US), John Hatcliff (Kansas State University, US), Michaela Huhn (TU Clausthal, DE), Mark Lawford (McMaster University - Hamilton, CA)

Top

27. Januar – 01. Februar 2013, Dagstuhl Seminar 13052

Multicore Enablement for Embedded and Cyber Physical Systems


Andreas Herkersdorf (TU München, DE), Michael G. Hinchey (University of Limerick, IE), Michael Paulitsch (EADS Deutschland - München, DE)

Top

03. – 08. Februar 2013, Dagstuhl Seminar 13061

Fault Prediction, Localization, and Repair


Mary Jean Harrold (Georgia Institute of Technology - Atlanta, US), Friedrich Steimann (Fernuniversität in Hagen, DE), Frank Tip (University of Waterloo, CA), Andreas Zeller (Universität des Saarlandes, DE)

Top

03. – 08. Februar 2013, Dagstuhl Seminar 13062

Decentralized Systems for Privacy Preservation


Sonja Buchegger (KTH Royal Institute of Technology, SE), Jon Crowcroft (University of Cambridge, GB), Balachander Krishnamurthy (AT&T Labs Research - Florham Park, US), Thorsten Strufe (TU Darmstadt, DE)

Die Dagstuhl-Stiftung erhielt eine Spende von: Microsoft Research

Top

10. – 15. Februar 2013, Dagstuhl Seminar 13071

Dependence Logic: Theory and Applications


Samson Abramsky (University of Oxford, GB), Juha Kontinen (University of Helsinki, FI), Jouko Väänänen (University of Helsinki, FI & University of Amsterdam, NL), Heribert Vollmer (Leibniz Universität Hannover, DE)

Top

10. – 15. Februar 2013, Dagstuhl Seminar 13072

Mechanisms of Ongoing Development in Cognitive Robotics


Jacqueline Fagard (University Paris Descartes, FR), Roderic A. Grupen (University of Massachusetts - Amherst, US), Frank Guerin (University of Aberdeen, GB), Norbert Krüger (University of Southern Denmark - Odense, DK)

Top

10. – 14. Februar 2013, Event 13073

Kunstprojekt "HBK Saarbrücken"


Ingeborg Knigge (HBK Saarbrücken, DE), Gabriele Langendorf (HBK Saarbrücken, DE)

Top

17. – 22. Februar 2013, Dagstuhl Seminar 13081

Consistency In Distributed Systems


Bettina Kemme (McGill University - Montreal, CA), Ganesan Ramalingam (Microsoft Research India - Bangalore, IN), André Schiper (EPFL - Lausanne, CH), Marc Shapiro (INRIA & LIP6 - Paris, FR)

Top

17. – 22. Februar 2013, Dagstuhl Seminar 13082

Communication Complexity, Linear Optimization, and lower bounds for the nonnegative rank of matrices


LeRoy B. Beasley (Utah State University, US), Hartmut Klauck (Nanyang TU - Singapore, SG), Troy Lee (National University of Singapore, SG), Dirk Oliver Theis (University of Tartu, EE)

Top

20. – 22. Februar 2013, Event 13083

Lehrstuhltreffen Hanebeck


Uwe D. Hanebeck (KIT - Karlsruhe Institute of Technology, DE)

Top

24. Februar – 01. März 2013, Dagstuhl Seminar 13091

Analysis, Test and Verification in The Presence of Variability


Paulo Borba (University of Pernambuco - Recife, BR), Myra B. Cohen (University of Nebraska - Lincoln, US), Axel Legay (INRIA Rennes - Bretagne Atlantique, FR), Andrzej Wasowski (IT University of Copenhagen, DK)

Top

24. – 26. Februar 2013, Event 13093

Quantum Information: Theory & Implementation


Jürgen Eschner (Universität des Saarlandes, DE), Jörg Hettel (FH Kaiserslautern-Zweibrücken, DE), Hans-Jürgen Steffens (FH Kaiserslautern-Zweibrücken, DE)

Top

26. Februar – 01. März 2013, Event 13092

FOSD-Treffen


Sven Apel (Universität Passau, DE), Christian Kästner (Carnegie Mellon University, US), Christian Lengauer (Universität Passau, DE), Janet Siegmund (Universität Magdeburg, DE)

Top

03. – 08. März 2013, Dagstuhl Seminar 13101

Computational Geometry


Otfried Cheong (KAIST - Daejeon, KR), Kurt Mehlhorn (MPI für Informatik - Saarbrücken, DE), Monique Teillaud (INRIA Sophia Antipolis - Méditerranée, FR)

Top

04. – 06. März 2013, Event 13102

Clusterseminar "Intelligente Systeme zur Entscheidungsunterstützung"


Lars Mönch (FernUniversität in Hagen, DE)

Top

10. – 15. März 2013, Dagstuhl Seminar 13111

Scheduling


Susanne Albers (HU Berlin, DE), Onno J. Boxma (TU Eindhoven, NL), Kirk Pruhs (University of Pittsburgh, US)

Top

10. – 13. März 2013, Event 13112

Counting and Enumerating of Plane Graphs


Kevin Buchin (TU Eindhoven, NL), André Schulz (Universität Münster, DE), Csaba D. Tóth (University of Calgary, CA)

Top

13. – 15. März 2013, Event 13113

Lehrstuhltreffen "Embedded Intelligence"


Bernhard Sick (Universität Kassel, DE)

Top

17. – 22. März 2013, Dagstuhl Seminar 13121

Bidimensional Structures: Algorithms, Combinatorics and Logic


Erik D. Demaine (MIT - Cambridge, US), Fedor V. Fomin (University of Bergen, NO), MohammadTaghi Hajiaghayi (University of Maryland, US), Dimitrios M. Thilikos (National and Kapodistrian University of Athens, GR)

Top

17. – 20. März 2013, Event 13122

Klausurtagung "LST Rannenberg"


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

Top

20. – 22. März 2013, Event 13124

Lehrstuhltreffen AG Zeller


Andreas Zeller (Universität des Saarlandes, DE)

Top

24. – 27. März 2013, Dagstuhl Seminar 13131

Future Internet


Jon Crowcroft (University of Cambridge, GB), Markus Fidler (Leibniz Universität Hannover, DE), Klara Nahrstedt (University of Illinois - Urbana Champaign, US), Ralf Steinmetz (TU Darmstadt, DE)

Top

24. – 27. März 2013, Event 13132

GIBU 2013: GI-Beirat der Universitätsprofessoren


Gregor Snelting (KIT - Karlsruhe Institute of Technology, DE)

Top

01. – 05. April 2013, Dagstuhl Seminar 13141

Formal Verification of Distributed Algorithms


Bernadette Charron-Bost (Ecole Polytechnique - Palaiseau, FR), Stephan Merz (LORIA - Nancy, FR), Andrey Rybalchenko (TU München, DE), Josef Widder (TU Wien, AT)

Top

01. – 04. April 2013, Dagstuhl Seminar 13142

Correct and Efficient Accelerator Programming


Albert Cohen (ENS - Paris, FR), Alastair F. Donaldson (Imperial College London, GB), Marieke Huisman (University of Twente, NL), Joost-Pieter Katoen (RWTH Aachen, DE)

Top

07. – 12. April 2013, Dagstuhl Seminar 13151

Drawing Graphs and Maps with Curves


Sara Fabrikant (Universität Zürich, CH), Stephen G. Kobourov (University of Arizona - Tucson, US), Martin Nöllenburg (KIT - Karlsruhe Institute of Technology, DE), Monique Teillaud (INRIA Sophia Antipolis - Méditerranée, FR)

Top

07. – 12. April 2013, Event 13152

Summer School "Implementation Techniques for Data Management Software"


Goetz Graefe (HP Labs - Madison, US), Wey Guy (Redmond, US), Thomas Neumann (TU München, DE)

Top

14. – 19. April 2013, Dagstuhl Seminar 13161

Interface of Computation, Game Theory, and Economics


Sergiu Hart (The Hebrew Univ. of Jerusalem, IL), Éva Tardos (Cornell University, US), Bernhard von Stengel (London School of Economics, GB)

Top

14. – 19. April 2013, Dagstuhl Seminar 13162

Pointer Analysis


Ondrej Lhotak (University of Waterloo, CA), Yannis Smaragdakis (University of Athens, GR), Manu Sridharan (IBM TJ Watson Research Center - Yorktown Heights, US)

Top

21. – 26. April 2013, Dagstuhl Seminar 13171

Customizing Service Platforms


Luciano Baresi (Technical University of Milan, IT), Andreas Rummler (SAP Research Center - Dresden, DE), Klaus Schmid (Universität Hildesheim, DE)

Top

21. – 24. April 2013, Event 13172

NSF/SRC/DFG Joint Workshop on “Bugs and Defects in Electronic Systems: the Next Frontier”


Wolfgang Kunz (TU Kaiserslautern, DE), Subhasish Mitra (Stanford University, US)

Top

24. – 25. April 2013, Event 13173

Modellbasierte Entwicklung eingebetteter Systeme (MBEES)


Bernhard Schätz (fortiss GmbH - München, DE)

Top

28. April – 03. Mai 2013, Dagstuhl Seminar 13181

VaToMAS - Verification and Testing of Multi-Agent Systems


Alessio R. Lomuscio (Imperial College London, GB), Sophie Pinchinat (University of Rennes, FR), Holger Schlingloff (HU Berlin, DE)

Top

28. April – 03. Mai 2013, Dagstuhl Seminar 13182

Meta-Modeling Model-Based Engineering Tools


Tony Clark (Middlesex University, GB), Robert B. France (Colorado State University - Fort Collins, US), Martin Gogolla (Universität Bremen, DE), Bran V. Selic (Malina Software Corp. - Nepean, CA)

Top

05. – 08. Mai 2013, Dagstuhl Seminar 13192

Tree Transducers and Formal Methods


Sebastian Maneth (NICTA & University of New South Wales, Sydney, AU), Helmut Seidl (TU München, DE)

Top

05. – 08. Mai 2013, Event 13193

Kolloquium zum GI Dissertationspreis 2012


Steffen Hölldobler (TU Dresden, DE)

Top

12. – 17. Mai 2013, Dagstuhl Seminar 13201

Information Visualization - Towards Multivariate Network Visualization


Andreas Kerren (Linnaeus University - Växjö, SE), Helen C. Purchase (University of Glasgow, GB), Matthew O. Ward (Worcester Polytechnic Institute, US)

Top

12. – 15. Mai 2013, Event 13202

Klausurtagung CCS@BTH


Markus Fiedler (Blekinge Institute of Technology - Karlskrona, SE)

Top

12. – 17. Mai 2013, Event 13203

CELSTEC Retreat Meeting


Rob Koper (Open University - Heerlen, NL)

Top

15. – 17. Mai 2013, Event 13204

Lehrstuhltreffen AG Schneider / Sturm


Peter Sturm (Universität Trier, DE)

Top

19. – 24. Mai 2013, Dagstuhl Seminar 13211

Automated Reasoning on Conceptual Schemas


Diego Calvanese (Free University of Bozen-Bolzano, IT), Sven Hartmann (TU Clausthal, DE), Ernest Teniente (UPC - Barcelona, ES)

Top

19. – 24. Mai 2013, Dagstuhl Seminar 13212

Computational Methods Aiding Early-Stage Drug Design


Andreas Bender (University of Cambridge, GB), Hinrich Göhlmann (Janssen Pharmaceutica - Beerse, BE), Sepp Hochreiter (University of Linz, AT), Ziv Shkedy (Hasselt University - Diepenbeek, BE)

Top

26. – 29. Mai 2013, Event 13222

Gemeinsamer Workshop der Graduiertenkollegs: GRK 1362 und GRK 1564


Julian Bader (Universität Siegen, DE), Rodrigo do Carmo (TU Darmstadt, DE), Christian Feinen (Universität Siegen, DE), Jens Hedrich (Universität Koblenz-Landau, DE), Andreas Kolb (Universität Siegen, DE), Philipp M. Scholl (TU Darmstadt, DE), Oskar von Stryk (TU Darmstadt, DE)

Top

02. – 07. Juni 2013, Dagstuhl Seminar 13231

Belief Change and Argumentation in Multi-Agent Scenarios


Jürgen Dix (TU Clausthal, DE), Sven Ove Hansson (KTH Royal Institute of Technology, SE), Gabriele Kern-Isberner (TU Dortmund, DE), Guillermo R. Simari (National University of the South - Bahia Blanca, AR)

Top

02. – 07. Juni 2013, Dagstuhl Seminar 13232

Indexes and Computation over Compressed Structured Data


Sebastian Maneth (University of Oxford, GB), Gonzalo Navarro (University of Chile, CL)

Top

09. – 14. Juni 2013, Dagstuhl Seminar 13241

Virtual Realities


Guido Brunnett (TU Chemnitz, DE), Sabine Coquillart (INRIA Rhône-Alpes, FR), Robert van Liere (CWI - Amsterdam, NL), Gregory F. Welch (University of Central Florida - Orlando, US)

Top

09. – 12. Juni 2013, Event 13242

Workshop Wissenschaftsjournalismus


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

Top

13. – 14. Juni 2013, Event 13243

Deutsch-Pakistanischer Workshop


Karsten Berns (TU Kaiserslautern, DE)

Top

16. – 21. Juni 2013, Dagstuhl Seminar 13251

Parallel Data Analysis


Artur Andrzejak (Universität Heidelberg, DE), Joachim Giesen (Universität Jena, DE), Raghu Ramakrishnan (Microsoft Research - Redmond, US), Ion Stoica (University of California - Berkeley, US)

Top

16. – 19. Juni 2013, Dagstuhl Seminar 13252

Interoperation in Complex Information Ecosystems


Craig A. Knoblock (University of Southern California - Marina del Rey, US), Kai-Uwe Sattler (TU Ilmenau, DE), Rudi Studer (KIT - Karlsruhe Institute of Technology, DE)

Die Dagstuhl-Stiftung erhielt eine Spende von: Office of Naval Research Global

Top

23. – 28. Juni 2013, Event 13262

2nd Summer School in Computational Oncology


Norbert Graf (Universitätsklinikum des Saarlandes, DE)

Top

30. Juni – 05. Juli 2013, Dagstuhl Seminar 13271

Theory of Evolutionary Algorithms


Benjamin Doerr (MPI für Informatik - Saarbrücken, DE), Nikolaus Hansen (INRIA Saclay - Île-de-France - Orsay, FR), Jonathan L. Shapiro (University of Manchester, GB), Darrell Whitley (Colorado State University - Fort Collins, US)

Top

30. Juni – 03. Juli 2013, Dagstuhl Seminar 13272

Computer Science in High Performance Sport - Applications and Implications for Professional Coaching


Koen A.P.M. Lemmink (University of Groningen, NL), Stuart Morgan (Australian Institute of Sport - Bruce, AU), Jaime Sampaio (Universidade de Trás-os-Montes - Vila Real, PT), Dietmar Saupe (Universität Konstanz, DE)

Top

07. – 12. Juli 2013, Event 13282

Third European Business Intelligence Summer School (eBISS 2013)


Esteban Zimanyi (Université Libre de Bruxelles, BE)

Top

28. Juli – 02. August 2013, Dagstuhl Seminar 13311

Duality in Computer Science


Mai Gehrke (University Paris-Diderot, FR), Jean-Eric Pin (University Paris-Diderot, FR), Victor Selivanov (A. P. Ershov Institute - Novosibirsk, RU), Dieter Spreen (Universität Siegen, DE)

Top

28. Juli – 02. August 2013, Dagstuhl Seminar 13312

"My Life, Shared" - Trust and Privacy in the Age of Ubiquitous Experience Sharing


Alessandro Acquisti (Carnegie Mellon University, US), Ioannis Krontiris (Goethe-Universität Frankfurt am Main, DE), Marc Langheinrich (University of Lugano, CH), Martina Angela Sasse (University College London, GB)

Top

04. – 09. August 2013, Dagstuhl Seminar 13321

Reinforcement Learning


Peter Auer (Montan-Universität Leoben, AT), Marcus Hutter (Australian National University, AU), Laurent Orseau (AgroParisTech - Paris, FR)

Top

04. – 09. August 2013, Dagstuhl Seminar 13322

The Critical Internet Infrastructure


Georg Carle (TU München, DE), Jochen Schiller (FU Berlin, DE), Steve Uhlig (Queen Mary University of London, GB), Walter Willinger (Niksun - Princeton, US)

Top

09. – 17. August 2013, Event 13329

Forschungsaufenthalt


Eike Best (Universität Oldenburg, DE)

Top

11. – 16. August 2013, Dagstuhl Seminar 13331

Exponential Algorithms: Algorithms and Complexity Beyond Polynomial Time


Thore Husfeldt (IT University of Copenhagen, DK), Ramamohan Paturi (University of California - San Diego, US), Gregory B. Sorkin (London School of Economics, GB), Ryan Williams (Stanford University, US)

Top

11. – 15. August 2013, Event 13332

Klausurtagung "LST Freiling"


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

Top

12. – 16. August 2013, Event 13333

Koordinationstreffen des Lehrstuhls Organic Computing der Universität Augsburg und des Fachgebiets Angewandte Informationssicherheit der Universität Kassel


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

Top

18. – 23. August 2013, Dagstuhl Seminar 13341

Verifiably Secure Process-Aware Information Systems


Rafael Accorsi (Universität Freiburg, DE), Jason Crampton (Royal Holloway University of London, GB), Michael Huth (Imperial College London, GB), Stefanie Rinderle-Ma (Universität Wien, AT)

Top

18. – 23. August 2013, Dagstuhl Perspectives Workshop 13342

ICT Strategies for Bridging Biology and Precision Medicine


Jonas Almeida (University of Alabama - Birmingham, US), Andreas Dress (Shanghai Institutes for Biological Sciences, CN & infinity3, DE), Titus Kühne (Deutsches Herzzentrum, DE), Laxmi Parida (IBM TJ Watson Research Center - Yorktown Heights, US)

Top

25. – 30. August 2013, Dagstuhl Seminar 13351

Coding Theory


Hans-Andrea Loeliger (ETH Zentrum - Zürich, CH), Emina Soljanin (Bell Labs - Murray Hill, US), Judy L. Walker (University of Nebraska - Lincoln, US)

Top

25. – 30. August 2013, Dagstuhl Seminar 13352

Interaction with Information for Visual Reasoning


David S. Ebert (Purdue University, US), Brian D. Fisher (Simon Fraser University - Surrey, CA), Petra Isenberg (INRIA Saclay - Île-de-France - Orsay, FR), Shixia Liu (Microsoft Research - Beijing, CN)

Top

01. – 04. September 2013, Dagstuhl Seminar 13361

Crowdsourcing: From Theory to Practice and Long-Term Perspectives


Claudio Bartolini (HP Labs - Palo Alto, US), Tobias Hoßfeld (Universität Würzburg, DE), Phuoc Tran-Gia (Universität Würzburg, DE), Maja Vukovic (IBM TJ Watson Research Center - Yorktown Heights, US)

Top

01. – 04. September 2013, Dagstuhl Seminar 13362

Cloud-based Software Crowdsourcing


Michael N. Huhns (University of South Carolina - Columbia, US), Wei Li (Beihang University - Beijing, CN), Wei-Tek Tsai (ASU - Tempe, US)

Top

01. – 04. September 2013, Event 13363

Optimierung von Diskriminierungsnetzwerken


Karl-Heinz Krempels (RWTH Aachen, DE)

Top

01. – 03. September 2013, Event 13365

Offsite Meeting Commercial Performance Management


Thomas In der Rieden (T-Systems International GmbH, DE)

Top

08. – 13. September 2013, Dagstuhl Seminar 13371

Quantum Cryptanalysis


Serge Fehr (CWI - Amsterdam, NL), Michele Mosca (University of Waterloo, CA), Martin Roetteler (Microsoft Research - Redmond, US), Rainer Steinwandt (Florida Atlantic University - Boca Raton, US)

Top

08. – 13. September 2013, Dagstuhl Seminar 13372

Integration of Tools for Rigorous Software Construction and Analysis


Uwe Glässer (Simon Fraser University - Burnaby, CA), Stefan Hallerstede (Aarhus University, DK), Michael Leuschel (Heinrich-Heine-Universität Düsseldorf, DE), Elvinia Riccobene (University of Milan, IT)

Top

15. – 20. September 2013, Dagstuhl Seminar 13381

Algorithms and Scheduling Techniques for Exascale Systems


Henri Casanova (University of Hawaii at Manoa, US), Yves Robert (ENS - Lyon, FR), Uwe Schwiegelshohn (TU Dortmund, DE)

Top

15. – 20. September 2013, Dagstuhl Seminar 13382

Collaboration and learning through live coding


Alan Blackwell (University of Cambridge, GB), Alex McLean (University of Leeds, GB), James Noble (Victoria University - Wellington, NZ), Julian Rohrhuber (Robert Schumann Hochschule für Musik, DE)

Top

22. – 27. September 2013, Dagstuhl Seminar 13391

Algorithm Engineering


Andrew V. Goldberg (Microsoft Research - Mountain View, US), Giuseppe F. Italiano (University of Rome "Tor Vergata", IT), David S. Johnson (New York, US), Dorothea Wagner (KIT - Karlsruhe Institute of Technology, DE)

Top

22. – 25. September 2013, Dagstuhl Seminar 13392

Inter-Vehicular Communication - Quo Vadis


Onur Altintas (TOYOTA InfoTechnology Center - Tokyo, JP), Falko Dressler (Universität Innsbruck, AT), Hannes Hartenstein (KIT - Karlsruhe Institute of Technology, DE), Ozan K. Tonguz (Carnegie Mellon University, US)

Top

25. – 27. September 2013, Event 13393

Klausurtagung "AG Goesele"


Michael Goesele (TU Darmstadt, DE)

Top

29. September – 04. Oktober 2013, Dagstuhl Seminar 13401

Automatic Application Tuning for HPC Architectures


Siegfried Benkner (Universität Wien, AT), Franz Franchetti (Carnegie Mellon University, US), Hans Michael Gerndt (TU München, DE), Jeffrey K. Hollingsworth (University of Maryland - College Park, US)

Top

29. September – 04. Oktober 2013, Dagstuhl Seminar 13402

Physical-Cyber-Social Computing


Ramesh Jain (University of California - Irvine, US), Amit P. Sheth (Wright State University - Dayton, US), Steffen Staab (Universität Koblenz-Landau, DE), Markus Strohmaier (Universität Koblenz-Landau, DE)

Top

06. – 11. Oktober 2013, Dagstuhl Seminar 13411

Deduction and Arithmetic


Nikolaj Bjorner (Microsoft Research - Redmond, US), Reiner Hähnle (TU Darmstadt, DE), Tobias Nipkow (TU München, DE), Christoph Weidenbach (MPI für Informatik - Saarbrücken, DE)

Top

06. – 09. Oktober 2013, Dagstuhl Seminar 13412

Genomic Privacy


Kay Hamacher (TU Darmstadt, DE), Jean Pierre Hubaux (EPFL - Lausanne, CH), Gene Tsudik (University of California - Irvine, US)

Top

09. – 11. Oktober 2013, Event 13414

Workshop


Wolfgang Thomas (RWTH Aachen, DE)

Top

13. – 18. Oktober 2013, Dagstuhl Seminar 13421

Algorithms for Optimization Problems in Planar Graphs


Glencora Borradaile (Oregon State University, US), Philip N. Klein (Brown University, US), Dániel Marx (Hungarian Academy of Sciences, HU), Claire Mathieu (Brown University, US)

Top

13. – 16. Oktober 2013, Dagstuhl Seminar 13422

Nominal Computation Theory


Mikolaj Bojanczyk (University of Warsaw, PL), Bartek Klin (University of Warsaw, PL), Alexander Kurz (University of Leicester, GB), Andrew M. Pitts (University of Cambridge, GB)

Top

16. – 18. Oktober 2013, Event 13423

Klausurtagung Graduierten-Kolleg 1194


Uwe D. Hanebeck (KIT - Karlsruhe Institute of Technology, DE)

Top

20. – 25. Oktober 2013, Dagstuhl Seminar 13431

Real-World Visual Computing


Oliver Grau (Intel Visual Computing Institute - Saarbrücken, DE), Marcus A. Magnor (TU Braunschweig, DE), Olga Sorkine-Hornung (ETH Zürich, CH), Christian Theobalt (MPI für Informatik - Saarbrücken, DE)

Top

20. – 25. Oktober 2013, Event 13432

Facilitating Process and Metadata-Driven Automation in the Social, Economic, and Behavioural Sciences with the Data Documentation Initiative (DDI)


Arofan Gregory (Open Data Foundation - Tucson, US), Wendy Thomas (Univ. of Minnesota - Minneapolis, US), Joachim Wackerow (GESIS - Mannheim, DE)

Top

27. Oktober – 01. November 2013, Dagstuhl Seminar 13441

Evaluation Methodologies in Information Retrieval


Maristella Agosti (University of Padova, IT), Norbert Fuhr (Universität Duisburg-Essen, DE), Elaine Toms (Sheffield University, GB), Pertti Vakkari (University of Tampere, FI)

Top

27. Oktober – 01. November 2013, Event 13442

DDI Lifecycle: Moving Forward (Part 2)


Arofan Gregory (Open Data Foundation - Tucson, US), Wendy Thomas (Univ. of Minnesota - Minneapolis, US), Mary Vardigan (University of Michigan - Ann Arbor, US), Joachim Wackerow (GESIS - Mannheim, DE)

Top

03. – 08. November 2013, Dagstuhl Seminar 13451

Computational Audio Analysis


Meinard Müller (Universität Erlangen-Nürnberg, DE), Shrikanth S. Narayanan (University of Southern California, US), Björn Schuller (TU München, DE)

Top

03. – 08. November 2013, Dagstuhl Seminar 13452

Proxemics in Human-Computer Interaction


Saul Greenberg (University of Calgary, CA), Kasper Hornbæk (University of Copenhagen, DK), Aaron Quigley (University of St. Andrews, GB), Harald Reiterer (Universität Konstanz, DE)

Top

10. – 15. November 2013, Dagstuhl Seminar 13461

Electronic Markets and Auctions


Yishay Mansour (Tel Aviv University, IL), Benny Moldovanu (Universität Bonn, DE), Noam Nisan (The Hebrew University of Jerusalem, IL), Berthold Vöcking (RWTH Aachen, DE)

Top

10. – 15. November 2013, Dagstuhl Seminar 13462

Computational Models of Language Meaning in Context


Hans Kamp (Universität Stuttgart, DE), Alessandro Lenci (University of Pisa, IT), James Pustejovsky (Brandeis University - Waltham, US)

Top

17. – 22. November 2013, Dagstuhl Seminar 13471

Synchronous Programming


Albert Benveniste (INRIA Rennes - Bretagne Atlantique, FR), Stephen A. Edwards (Columbia University - New York, US), Alain Girault (INRIA Grenoble - Rhône-Alpes, FR), Klaus Schneider (TU Kaiserslautern, DE)

Top

17. – 20. November 2013, Dagstuhl Seminar 13472

Global Measurement Framework


Philip Eardley (British Telecom R&D - Ipswich, GB), Marco Mellia (Polytechnic University of Torino, IT), Jörg Ott (Aalto University, FI), Jürgen Schönwälder (Jacobs Universität - Bremen, DE), Henning Schulzrinne (Columbia University - New York, US)

Top

20. – 22. November 2013, Event 13473

Klausurtagung "LST Schmeck"


Florian Allerding (KIT - Karlsruhe Institute of Technology, DE), Hartmut Schmeck (KIT - Karlsruhe Institute of Technology, DE)

Top

24. – 29. November 2013, Dagstuhl Seminar 13481

Unleashing Operational Process Mining


Rafael Accorsi (Universität Freiburg, DE), Ernesto Damiani (Università degli Studi di Milano - Crema, IT), Wil van der Aalst (TU Eindhoven, NL)

Top

24. – 29. November 2013, Dagstuhl Seminar 13482

Forensic Computing


Felix C. Freiling (Universität Erlangen-Nürnberg, DE), Gerrit Hornung (Universität Passau, DE), Radim Polcák (Masaryk University, CZ)

Top

01. – 06. Dezember 2013, Dagstuhl Seminar 13491

Computational Mass Spectrometry


Rudolf Aebersold (ETH Zürich, CH), Oliver Kohlbacher (Universität Tübingen, DE), Olga Vitek (Purdue University, US)

Top

01. – 06. Dezember 2013, Dagstuhl Seminar 13492

Geosensor Networks: Bridging Algorithms and Applications


Matt Duckham (The University of Melbourne, AU), Stefan Dulman (TU Delft, NL), Jörg-Rüdiger Sack (Carleton University - Ottawa, CA), Monika Sester (Leibniz Universität Hannover, DE)

Top

08. – 11. Dezember 2013, Dagstuhl Seminar 13502

Approaches and Applications of Inductive Programming


Sumit Gulwani (Microsoft Research - Redmond, US), Emanuel Kitzelmann (Universität Duisburg - Essen, DE), Ute Schmid (Universität Bamberg, DE)

Top

10. – 13. Dezember 2013, Event 13503

Lehrerfortbildung in Informatik


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

Top

15. – 19. Dezember 2013, Dagstuhl Seminar 13511

Software Engineering for Self-Adaptive Systems: Assurances


Rogerio de Lemos (University of Kent, GB), David Garlan (Carnegie Mellon University, US), Carlo Ghezzi (Technical University of Milan, IT), Holger Giese (Hasso-Plattner-Institut - Potsdam, DE)

Top

15. – 19. Dezember 2013, Dagstuhl Seminar 13512

Social Issues in Computational Transportation Science


Glenn Geers (NICTA - Kensington, AU), Monika Sester (Leibniz Universität Hannover, DE), Stephan Winter (The University of Melbourne, AU), Ouri E. Wolfson (University of Chicago, US)

Top