All Events 2013:
January 6 – 11 , 2013, Dagstuhl Seminar 13021Symbolic Methods in TestingThierry Jéron (INRIA Rennes – Bretagne Atlantique, FR), Margus Veanes (Microsoft Corporation – Redmond, US), Burkhart Wolff (University of Paris South XI, FR) | Top |
January 6 – 11 , 2013, Dagstuhl Seminar 13022Engineering Resilient Systems: Models, Methods and ToolsNicolas Guelfi (University of Luxembourg, LU), Maritta Heisel (Universität Duisburg-Essen, DE), Mohamed Kaaniche (LAAS – Toulouse, FR), Alexander Romanovsky (University of Newcastle, GB) | Top |
January 13 – 18 , 2013, Dagstuhl Seminar 13031Computational CountingPeter Bürgisser (Universität Paderborn, DE), Leslie Ann Goldberg (University of Liverpool, GB), Mark R. Jerrum (Queen Mary University of London, GB), Pascal Koiran (ENS – Lyon, FR) | Top |
January 13 – 16 , 2013, Event 13032Erneuerbare MobilitätKarl-Heinz Krempels (RWTH Aachen, DE), Christoph Terwelp (RWTH Aachen, DE) | Top |
January 18 2013, Event 13034Retreat Forschungsbereich Agenten und Simulierte Realität: "Besprechungen produktiver gestalten"Philipp Slusallek (DFKI – Saarbrücken, DE) | Top |
January 20 – 25 , 2013, Dagstuhl Seminar 13041Civilian Crisis Response ModelsOzlem 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 |
January 20 – 25 , 2013, Dagstuhl Seminar 13042Epidemic Algorithms and Processes: From Theory to ApplicationsBenjamin Doerr (MPI für Informatik – Saarbrücken, DE), Robert Elsässer (Universität Salzburg, AT), Pierre Fraigniaud (University of Paris VII, FR), Rachid Guerraoui (EPFL – Lausanne, CH) | Top |
January 20 – 22 , 2013, Event 13044Offsite Meeting Commercial Performance ManagementThomas In der Rieden (T-Systems International GmbH – Saarbrücken, DE) | Top |
January 22 – 25 , 2013, Event 13043Workshop "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 |
January 27 – February 1 , 2013, Dagstuhl Seminar 13051Software Certification: Methods and ToolsDarren Cofer (Rockwell Collins – Cedar Rapids, US), John Hatcliff (Kansas State University, US), Michaela Huhn (TU Clausthal, DE), Mark Lawford (McMaster University – Hamilton, CA) | Top |
January 27 – February 1 , 2013, Dagstuhl Seminar 13052Multicore Enablement for Embedded and Cyber Physical SystemsAndreas Herkersdorf (TU München, DE), Michael G. Hinchey (University of Limerick, IE), Michael Paulitsch (EADS Deutschland – München, DE) | Top |
February 3 – 8 , 2013, Dagstuhl Seminar 13061Fault Prediction, Localization, and RepairMary 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 |
February 3 – 8 , 2013, Dagstuhl Seminar 13062Decentralized Systems for Privacy PreservationSonja 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) | Top |
February 10 – 15 , 2013, Dagstuhl Seminar 13071Dependence Logic: Theory and ApplicationsSamson 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 |
February 10 – 15 , 2013, Dagstuhl Seminar 13072Mechanisms of Ongoing Development in Cognitive RoboticsJacqueline Fagard (Paris Descartes University, 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 |
February 10 – 14 , 2013, Event 13073Kunstprojekt "HBK Saarbrücken"Ingeborg Knigge (HBKS – Saarbrücken, DE), Gabriele Langendorf (HBKS – Saarbrücken, DE) | Top |
February 17 – 22 , 2013, Dagstuhl Seminar 13081Consistency In Distributed SystemsBettina Kemme (McGill University – Montreal, CA), Ganesan Ramalingam (Microsoft Research India – Bangalore, IN), André Schiper (EPFL – Lausanne, CH), Marc Shapiro (INRIA – Paris, FR) | Top |
February 17 – 22 , 2013, Dagstuhl Seminar 13082Communication Complexity, Linear Optimization, and lower bounds for the nonnegative rank of matricesLeRoy 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 |
February 20 – 22 , 2013, Event 13083Lehrstuhltreffen HanebeckUwe D. Hanebeck (KIT – Karlsruher Institut für Technologie, DE) | Top |
February 24 – March 1 , 2013, Dagstuhl Seminar 13091Analysis, Test and Verification in The Presence of VariabilityPaulo Borba (Federal 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 |
February 24 – 26 , 2013, Event 13093Quantum Information: Theory & ImplementationJürgen Eschner (Universität des Saarlandes, DE), Jörg Hettel (HS Kaiserslautern – Zweibrücken, DE), Hans-Jürgen Steffens (HS Kaiserslautern – Zweibrücken, DE) | Top |
February 26 – March 1 , 2013, Event 13092FOSD-TreffenSven Apel (Universität Passau, DE), Christian Kästner (Carnegie Mellon University – Pittsburgh, US), Christian Lengauer (Universität Passau, DE), Janet Siegmund (Universität Magdeburg, DE) | Top |
March 3 – 8 , 2013, Dagstuhl Seminar 13101Computational GeometryOtfried Cheong (KAIST – Daejeon, KR), Kurt Mehlhorn (MPI für Informatik – Saarbrücken, DE), Monique Teillaud (INRIA Sophia Antipolis – Méditerranée, FR) | Top |
March 4 – 6 , 2013, Event 13102Clusterseminar "Intelligente Systeme zur Entscheidungsunterstützung"Lars Mönch (FernUniversität in Hagen, DE) | Top |
March 10 – 15 , 2013, Dagstuhl Seminar 13111SchedulingSusanne Albers (HU Berlin, DE), Onno J. Boxma (TU Eindhoven, NL), Kirk Pruhs (University of Pittsburgh, US) | Top |
March 10 – 13 , 2013, Event 13112Counting and Enumerating of Plane GraphsKevin Buchin (TU Eindhoven, NL), André Schulz (Universität Münster, DE), Csaba D. Tóth (University of Calgary, CA) | Top |
March 13 – 15 , 2013, Event 13113Lehrstuhltreffen "Embedded Intelligence"Bernhard Sick (Universität Kassel, DE) | Top |
March 17 – 22 , 2013, Dagstuhl Seminar 13121Bidimensional Structures: Algorithms, Combinatorics and LogicErik D. Demaine (MIT – Cambridge, US), Fedor V. Fomin (University of Bergen, NO), MohammadTaghi Hajiaghayi (University of Maryland – College Park, US), Dimitrios M. Thilikos (University of Athens, GR) | Top |
March 17 – 20 , 2013, Event 13122Klausurtagung "LST Rannenberg"Kai Rannenberg (Goethe-Universität Frankfurt am Main, DE) | Top |
March 20 – 22 , 2013, Event 13124Lehrstuhltreffen AG ZellerAndreas Zeller (Universität des Saarlandes, DE) | Top |
March 24 – 27 , 2013, Dagstuhl Seminar 13131Future InternetJon 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 |
March 24 – 27 , 2013, Event 13132GIBU 2013: GI-Beirat der UniversitätsprofessorenGregor Snelting (KIT – Karlsruher Institut für Technologie, DE) | Top |
April 1 – 5 , 2013, Dagstuhl Seminar 13141Formal Verification of Distributed AlgorithmsBernadette Charron-Bost (Ecole Polytechnique – Palaiseau, FR), Stephan Merz (LORIA – Nancy, FR), Andrey Rybalchenko (TU München, DE), Josef Widder (TU Wien, AT) | Top |
April 1 – 4 , 2013, Dagstuhl Seminar 13142Correct and Efficient Accelerator ProgrammingAlbert Cohen (ENS – Paris, FR), Alastair F. Donaldson (Imperial College London, GB), Marieke Huisman (University of Twente, NL), Joost-Pieter Katoen (RWTH Aachen, DE) | Top |
April 7 – 12 , 2013, Dagstuhl Seminar 13151Drawing Graphs and Maps with CurvesSara Irina Fabrikant (Universität Zürich, CH), Stephen G. Kobourov (University of Arizona – Tucson, US), Martin Nöllenburg (KIT – Karlsruher Institut für Technologie, DE), Monique Teillaud (INRIA Sophia Antipolis – Méditerranée, FR) | Top |
April 7 – 12 , 2013, Event 13152Summer School "Implementation Techniques for Data Management Software"Goetz Graefe (HP Labs – Madison, US), Wey Guy (Redmond, US), Thomas Neumann (TU München, DE) | Top |
April 14 – 19 , 2013, Dagstuhl Seminar 13161Interface of Computation, Game Theory, and EconomicsSergiu Hart (The Hebrew Univ. of Jerusalem, IL), Éva Tardos (Cornell University, US), Bernhard von Stengel (London School of Economics, GB) | Top |
April 14 – 19 , 2013, Dagstuhl Seminar 13162Pointer AnalysisOndrej Lhotak (University of Waterloo, CA), Yannis Smaragdakis (University of Athens, GR), Manu Sridharan (IBM TJ Watson Research Center – Yorktown Heights, US) | Top |
April 21 – 26 , 2013, Dagstuhl Seminar 13171Customizing Service PlatformsLuciano Baresi (Polytechnic University of Milan, IT), Andreas Rummler (SAP Research Center – Dresden, DE), Klaus Schmid (Universität Hildesheim, DE) | Top |
April 21 – 24 , 2013, Event 13172NSF/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 |
April 24 – 25 , 2013, Event 13173Modellbasierte Entwicklung eingebetteter Systeme (MBEES)Bernhard Schätz (fortiss GmbH – München, DE) | Top |
April 28 – May 3 , 2013, Dagstuhl Seminar 13181VaToMAS - Verification and Testing of Multi-Agent SystemsAlessio R. Lomuscio (Imperial College London, GB), Sophie Pinchinat (IRISA / CNRS, FR), Holger Schlingloff (HU Berlin, DE) | Top |
April 28 – May 3 , 2013, Dagstuhl Seminar 13182Meta-Modeling Model-Based Engineering ToolsTony Clark (Middlesex University, GB), Robert B. France (Colorado State University, US), Martin Gogolla (Universität Bremen, DE), Bran V. Selic (Malina Software Corp. – Nepean, CA) | Top |
May 5 – 8 , 2013, Dagstuhl Seminar 13192Tree Transducers and Formal MethodsSebastian Maneth (NICTA, AU & University of New South Wales – Sydney, AU), Helmut Seidl (TU München, DE) | Top |
May 5 – 8 , 2013, Event 13193Kolloquium zum GI Dissertationspreis 2012Steffen Hölldobler (TU Dresden, DE) | Top |
May 12 – 17 , 2013, Dagstuhl Seminar 13201Information Visualization - Towards Multivariate Network VisualizationAndreas Kerren (Linnaeus University – Växjö, SE), Helen C. Purchase (University of Glasgow, GB), Matthew O. Ward (Worcester Polytechnic Institute, US) | Top |
May 12 – 15 , 2013, Event 13202Klausurtagung CCS@BTHMarkus Fiedler (Blekinge Institute of Technology – Karlskrona, SE) | Top |
May 12 – 17 , 2013, Event 13203CELSTEC Retreat MeetingRob Koper (Open University – Heerlen, NL) | Top |
May 15 – 17 , 2013, Event 13204Lehrstuhltreffen AG Schneider / SturmJörn Schneider (Hochschule Trier, DE), Peter Sturm (Universität Trier, DE) | Top |
May 19 – 24 , 2013, Dagstuhl Seminar 13211Automated Reasoning on Conceptual SchemasDiego Calvanese (Free University of Bozen-Bolzano, IT), Sven Hartmann (TU Clausthal, DE), Ernest Teniente (UPC – Barcelona, ES) | Top |
May 19 – 24 , 2013, Dagstuhl Seminar 13212Computational Methods Aiding Early-Stage Drug DesignAndreas Bender (University of Cambridge, GB), Hinrich Göhlmann (Janssen Pharmaceutica – Beerse, BE), Sepp Hochreiter (Universität Linz, AT), Ziv Shkedy (Hasselt University – Diepenbeek, BE) | Top |
May 26 – 29 , 2013, Event 13222Gemeinsamer Workshop der Graduiertenkollegs: GRK 1362 und GRK 1564Julian 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 Scholl (TU Darmstadt, DE), Oskar von Stryk (TU Darmstadt, DE) | Top |
June 2 – 7 , 2013, Dagstuhl Seminar 13231Belief Change and Argumentation in Multi-Agent ScenariosJü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 – Bahía Blanca, AR) | Top |
June 2 – 7 , 2013, Dagstuhl Seminar 13232Indexes and Computation over Compressed Structured DataSebastian Maneth (University of Oxford, GB), Gonzalo Navarro (University of Chile – Santiago de Chile, CL) | Top |
June 9 – 14 , 2013, Dagstuhl Seminar 13241Virtual RealitiesGuido Brunnett (TU Chemnitz, DE), Sabine Coquillart (INRIA – Grenoble, FR), Robert van Liere (CWI – Amsterdam, NL), Gregory F. Welch (University of Central Florida – Orlando, US) | Top |
June 9 – 12 , 2013, Event 13242Workshop WissenschaftsjournalismusRoswitha Bardohl (Schloss Dagstuhl, DE), Gordon Bolduan (Universität des Saarlandes, DE), Tim Schröder (Oldenburg, DE) | Top |
June 13 – 14 , 2013, Event 13243Deutsch-Pakistanischer WorkshopKarsten Berns (TU Kaiserslautern, DE) | Top |
June 16 – 21 , 2013, Dagstuhl Seminar 13251Parallel Data AnalysisArtur Andrzejak (Universität Heidelberg, DE), Joachim Giesen (Universität Jena, DE), Raghu Ramakrishnan (Microsoft Corporation – Redmond, US), Ion Stoica (University of California – Berkeley, US) | Top |
June 16 – 19 , 2013, Dagstuhl Seminar 13252Interoperation in Complex Information EcosystemsCraig A. Knoblock (USC – Marina del Rey, US), Kai-Uwe Sattler (TU Ilmenau, DE), Rudi Studer (KIT – Karlsruher Institut für Technologie, DE) | Top |
June 23 – 28 , 2013, Event 132622nd Summer School in Computational OncologyNorbert Graf (Universitätsklinikum des Saarlandes, DE) | Top |
June 30 – July 5 , 2013, Dagstuhl Seminar 13271Theory of Evolutionary AlgorithmsBenjamin Doerr (MPI für Informatik – Saarbrücken, DE), Nikolaus Hansen (University of Paris South XI, FR), Jonathan L. Shapiro (University of Manchester, GB), Darrell Whitley (Colorado State University, US) | Top |
June 30 – July 3 , 2013, Dagstuhl Seminar 13272Computer Science in High Performance Sport - Applications and Implications for Professional CoachingKoen 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 |
July 7 – 12 , 2013, Event 13282Third European Business Intelligence Summer School (eBISS 2013)Esteban Zimanyi (University of Brussels, BE) | Top |
July 28 – August 2 , 2013, Dagstuhl Seminar 13311Duality in Computer ScienceMai Gehrke (University of Paris VII, FR), Jean-Eric Pin (University of Paris VII, FR), Victor Selivanov (A. P. Ershov Institute – Novosibirsk, RU), Dieter Spreen (Universität Siegen, DE) | Top |
July 28 – August 2 , 2013, Dagstuhl Seminar 13312"My Life, Shared" - Trust and Privacy in the Age of Ubiquitous Experience SharingAlessandro 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 |
August 4 – 9 , 2013, Dagstuhl Seminar 13321Reinforcement LearningPeter Auer (Montan-Universität Leoben, AT), Marcus Hutter (Australian National University, AU), Laurent Orseau (AgroParisTech – Paris, FR) | Top |
August 4 – 9 , 2013, Dagstuhl Seminar 13322The Critical Internet InfrastructureGeorg Carle (TU München, DE), Jochen Schiller (FU Berlin, DE), Steve Uhlig (Queen Mary University of London, GB), Walter Willinger (AT&T Labs Research – Florham Park, US) | Top |
August 9 – 17 , 2013, Event 13329ForschungsaufenthaltEike Best (Universität Oldenburg, DE) | Top |
August 11 – 16 , 2013, Dagstuhl Seminar 13331Exponential Algorithms: Algorithms and Complexity Beyond Polynomial TimeThore 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 |
August 11 – 15 , 2013, Event 13332Klausurtagung "LST Freiling"Felix Freiling (Universität Erlangen-Nürnberg, DE) | Top |
August 12 – 16 , 2013, Event 13333Koordinationstreffen des Lehrstuhls Organic Computing der Universität Augsburg und des Fachgebiets Angewandte Informationssicherheit der Universität KasselJörg Hähner (Universität Augsburg, DE), Sven Tomforde (Universität Augsburg, DE), Arno Wacker (Universität Kassel, DE) | Top |
August 18 – 23 , 2013, Dagstuhl Seminar 13341Verifiably Secure Process-Aware Information SystemsRafael 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 |
August 18 – 23 , 2013, Dagstuhl Perspectives Workshop 13342ICT Strategies for Bridging Biology and Precision MedicineJonas S. 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 |
August 25 – 30 , 2013, Dagstuhl Seminar 13351Coding TheoryHans-Andrea Loeliger (ETH – Zürich, CH), Emina Soljanin (Bell Labs – Murray Hill, US), Judy L. Walker (University of Nebraska – Lincoln, US) | Top |
August 25 – 30 , 2013, Dagstuhl Seminar 13352Interaction with Information for Visual ReasoningDavid S. Ebert (Purdue University – West Lafayette, US), Brian D. Fisher (Simon Fraser University – Surrey, CA), Petra Isenberg (University of Paris South XI, FR), Shixia Liu (Microsoft Research – Beijing, CN) | Top |
September 1 – 4 , 2013, Dagstuhl Seminar 13361Crowdsourcing: From Theory to Practice and Long-Term PerspectivesClaudio 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 |
September 1 – 4 , 2013, Dagstuhl Seminar 13362Cloud-based Software CrowdsourcingMichael N. Huhns (University of South Carolina – Columbia, US), Wei Li (Beihang University – Beijing, CN), Wei-Tek Tsai (Arizona State University – Tempe, US) | Top |
September 1 – 4 , 2013, Event 13363Optimierung von DiskriminierungsnetzwerkenKarl-Heinz Krempels (RWTH Aachen, DE) | Top |
September 1 – 3 , 2013, Event 13365Offsite Meeting Commercial Performance ManagementThomas In der Rieden (T-Systems International GmbH – Saarbrücken, DE) | Top |
September 8 – 13 , 2013, Dagstuhl Seminar 13371Quantum CryptanalysisSerge Fehr (CWI – Amsterdam, NL), Michele Mosca (University of Waterloo, CA), Martin Roetteler (Microsoft Corporation – Redmond, US), Rainer Steinwandt (Florida Atlantic University – Boca Raton, US) | Top |
September 8 – 13 , 2013, Dagstuhl Seminar 13372Integration of Tools for Rigorous Software Construction and AnalysisUwe 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 |
September 15 – 20 , 2013, Dagstuhl Seminar 13381Algorithms and Scheduling Techniques for Exascale SystemsHenri Casanova (University of Hawaii at Manoa – Honolulu, US), Yves Robert (ENS – Lyon, FR), Uwe Schwiegelshohn (TU Dortmund, DE) | Top |
September 15 – 20 , 2013, Dagstuhl Seminar 13382Collaboration and learning through live codingAlan 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 |
September 22 – 27 , 2013, Dagstuhl Seminar 13391Algorithm EngineeringAndrew V. Goldberg (Microsoft Corp. – Mountain View, US), Giuseppe F. Italiano (University of Rome "Tor Vergata", IT), David S. Johnson (New York, US), Dorothea Wagner (KIT – Karlsruher Institut für Technologie, DE) | Top |
September 22 – 25 , 2013, Dagstuhl Seminar 13392Inter-Vehicular Communication - Quo VadisOnur Altintas (TOYOTA InfoTechnology Center – Tokyo, JP), Falko Dressler (Universität Innsbruck, AT), Hannes Hartenstein (KIT – Karlsruher Institut für Technologie, DE), Ozan K. Tonguz (Carnegie Mellon University – Pittsburgh, US) | Top |
September 25 – 27 , 2013, Event 13393Klausurtagung "AG Goesele"Michael Goesele (TU Darmstadt, DE) | Top |
September 29 – October 4 , 2013, Dagstuhl Seminar 13401Automatic Application Tuning for HPC ArchitecturesSiegfried 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 |
September 29 – October 4 , 2013, Dagstuhl Seminar 13402Physical-Cyber-Social ComputingRamesh 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 |
October 6 – 11 , 2013, Dagstuhl Seminar 13411Deduction and ArithmeticNikolaj S. Bjørner (Microsoft Corporation – Redmond, US), Reiner Hähnle (TU Darmstadt, DE), Tobias Nipkow (TU München, DE), Christoph Weidenbach (MPI für Informatik – Saarbrücken, DE) | Top |
October 6 – 9 , 2013, Dagstuhl Seminar 13412Genomic PrivacyKay Hamacher (TU Darmstadt, DE), Jean Pierre Hubaux (EPFL – Lausanne, CH), Gene Tsudik (University of California – Irvine, US) | Top |
October 9 – 11 , 2013, Event 13414WorkshopWolfgang Thomas (RWTH Aachen, DE) | Top |
October 13 – 18 , 2013, Dagstuhl Seminar 13421Algorithms for Optimization Problems in Planar GraphsGlencora Borradaile (Oregon State University, US), Philip N. Klein (Brown University – Providence, US), Dániel Marx (Hungarian Academy of Sciences – Budapest, HU), Claire Mathieu (Brown University – Providence, US) | Top |
October 13 – 16 , 2013, Dagstuhl Seminar 13422Nominal Computation TheoryMikolaj 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 |
October 16 – 18 , 2013, Event 13423Klausurtagung Graduierten-Kolleg 1194Uwe D. Hanebeck (KIT – Karlsruher Institut für Technologie, DE) | Top |
October 20 – 25 , 2013, Dagstuhl Seminar 13431Real-World Visual ComputingOliver 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 |
October 20 – 25 , 2013, Event 13432Facilitating 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 (University of Minnesota – Minneapolis, US), Joachim Wackerow (GESIS – Mannheim, DE) | Top |
October 27 – November 1 , 2013, Dagstuhl Seminar 13441Evaluation Methodologies in Information RetrievalMaristella Agosti (University of Padova, IT), Norbert Fuhr (Universität Duisburg-Essen, DE), Elaine Toms (Sheffield University, GB), Pertti Vakkari (University of Tampere, FI) | Top |
October 27 – November 1 , 2013, Event 13442DDI Lifecycle: Moving Forward (Part 2)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 |
November 3 – 8 , 2013, Dagstuhl Seminar 13451Computational Audio AnalysisMeinard Müller (Universität Erlangen-Nürnberg, DE), Shrikanth S. Narayanan (University of Southern California, US), Björn Schuller (TU München, DE) | Top |
November 3 – 8 , 2013, Dagstuhl Seminar 13452Proxemics in Human-Computer InteractionSaul Greenberg (University of Calgary, CA), Kasper Hornbaek (University of Copenhagen, DK), Aaron Quigley (University of St. Andrews, GB), Harald Reiterer (Universität Konstanz, DE) | Top |
November 10 – 15 , 2013, Dagstuhl Seminar 13461Electronic Markets and AuctionsYishay 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 |
November 10 – 15 , 2013, Dagstuhl Seminar 13462Computational Models of Language Meaning in ContextHans Kamp (Universität Stuttgart, DE), Alessandro Lenci (University of Pisa, IT), James Pustejovsky (Brandeis University – Waltham, US) | Top |
November 17 – 22 , 2013, Dagstuhl Seminar 13471Synchronous ProgrammingAlbert Benveniste (INRIA Rennes – Bretagne Atlantique, FR), Stephen A. Edwards (Columbia University – New York, US), Alain Girault (INRIA – Grenoble, FR), Klaus Schneider (TU Kaiserslautern, DE) | Top |
November 17 – 20 , 2013, Dagstuhl Seminar 13472Global Measurement FrameworkPhilip 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 |
November 20 – 22 , 2013, Event 13473Klausurtagung "LST Schmeck"Florian Allerding (KIT – Karlsruher Institut für Technologie, DE), Hartmut Schmeck (KIT – Karlsruher Institut für Technologie, DE) | Top |
November 24 – 29 , 2013, Dagstuhl Seminar 13481Unleashing Operational Process MiningRafael Accorsi (Universität Freiburg, DE), Ernesto Damiani (Università degli Studi di Milano – Crema, IT), Wil van der Aalst (TU Eindhoven, NL) | Top |
November 24 – 29 , 2013, Dagstuhl Seminar 13482Forensic ComputingFelix Freiling (Universität Erlangen-Nürnberg, DE), Gerrit Hornung (Universität Passau, DE), Radim Polcák (Masaryk University, CZ) | Top |
December 1 – 6 , 2013, Dagstuhl Seminar 13491Computational Mass SpectrometryRudolf Aebersold (ETH Zürich, CH), Oliver Kohlbacher (Universität Tübingen, DE), Olga Vitek (Purdue University – West Lafayette, US) | Top |
December 1 – 6 , 2013, Dagstuhl Seminar 13492Geosensor Networks: Bridging Algorithms and ApplicationsMatt 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 |
December 8 – 11 , 2013, Dagstuhl Seminar 13502Approaches and Applications of Inductive ProgrammingSumit Gulwani (Microsoft Corporation – Redmond, US), Emanuel Kitzelmann (Universität Duisburg – Essen, DE), Ute Schmid (Universität Bamberg, DE) | Top |
December 11 – 13 , 2013, Event 13503Lehrerfortbildung in InformatikManuel García Mateos (LPM Saarbrücken, DE), Reinhard Wilhelm (Universität des Saarlandes, DE), Martin Zimnol (Pädagogisches Landesinstitut Rheinland-Pfalz, DE) | Top |
December 15 – 19 , 2013, Dagstuhl Seminar 13511Software Engineering for Self-Adaptive Systems: AssurancesRogerio de Lemos (University of Kent, GB), David Garlan (Carnegie Mellon University, US), Carlo Ghezzi (Polytechnic University of Milan, IT), Holger Giese (Hasso-Plattner-Institut – Potsdam, DE) | Top |
December 15 – 19 , 2013, Dagstuhl Seminar 13512Social Issues in Computational Transportation ScienceGlenn Geers (Data61 / NICTA – Sydney, AU), Monika Sester (Leibniz Universität Hannover, DE), Stephan Winter (The University of Melbourne, AU), Ouri E. Wolfson (University of Illinois – Chicago, US) | Top |