All Events 2014:
January 5 – 10 , 2014, Dagstuhl Seminar 14021Symmetric CryptographyFrederik Armknecht (Universität Mannheim, DE), Helena Handschuh (Cryptography Research Inc. – San Francisco, US), Tetsu Iwata (Nagoya University, JP), Bart Preneel (KU Leuven, BE) | Top |
January 5 – 10 , 2014, Dagstuhl Perspectives Workshop 14022Connecting Performance Analysis and Visualization to Advance Extreme Scale ComputingPeer-Timo Bremer (LLNL – Livermore, US), Bernd Mohr (Jülich Supercomputing Centre, DE), Valerio Pascucci (University of Utah, US), Martin Schulz (LLNL – Livermore, US) | Top |
January 12 – 17 , 2014, Dagstuhl Seminar 14031Randomized Timed and Hybrid Models for Critical InfrastructuresErika Abraham (RWTH Aachen, DE), Alberto Avritzer (Siemens – Princeton, US), Anne Remke (University of Twente, NL), William H. Sanders (University of Illinois – Urbana Champaign, US) | Top |
January 12 – 15 , 2014, Dagstuhl Seminar 14032Planning with epistemic goalsThomas Agotnes (University of Bergen, NO), Gerhard Lakemeyer (RWTH Aachen, DE), Benedikt Löwe (University of Amsterdam, NL), Bernhard Nebel (Universität Freiburg, DE) | Top |
January 15 – 17 , 2014, Event 14033Lehrstuhltreffen AG Schneider / SturmJörn Schneider (Hochschule Trier, DE) | Top |
January 19 – 24 , 2014, Dagstuhl Seminar 14041Quantitative Models: Expressiveness, Analysis, and New ApplicationsManfred Droste (Universität Leipzig, DE), Paul Gastin (ENS – Cachan, FR), Kim Guldstrand Larsen (Aalborg University, DK), Axel Legay (INRIA Rennes – Bretagne Atlantique, FR) | Top |
January 19 – 22 , 2014, Dagstuhl Seminar 14042Do-it-yourself Networking: an Interdisciplinary ApproachPanayotis Antoniadis (ETH Zürich, CH), Jörg Ott (Aalto University, FI), Andrea Passarella (CNR – Pisa, IT) | Top |
January 26 – 31 , 2014, Dagstuhl Seminar 14051Algorithms for Wireless CommunicationGuy Even (Tel Aviv University, IL), Magnus M. Halldorsson (Reykjavik University, IS), Yvonne-Anne Pignolet (ABB Corporate Research – Baden-Dättwil, CH), Christian Scheideler (Universität Paderborn, DE) | Top |
January 26 – 31 , 2014, Dagstuhl Seminar 14052Ethics in Data SharingSven Dietrich (Stevens Institute of Technology, US), Mireille Hildebrandt (Free University of Brussels, BE), Aiko Pras (University of Twente, NL), Lenore D. Zuck (University of Illinois – Chicago, US) | Top |
February 2 – 7 , 2014, Dagstuhl Seminar 14061Statistical Techniques for Translating to Morphologically Rich LanguagesAlexander M. Fraser (LMU München, DE), Kevin Knight (USC – Marina del Rey, US), Philipp Koehn (University of Edinburgh, GB), Helmut Schmid (LMU München, DE), Hans Uszkoreit (Universität des Saarlandes, DE) | Top |
February 2 – 7 , 2014, Dagstuhl Seminar 14062The Pacemaker Challenge: Developing Certifiable Medical DevicesDominique Méry (LORIA – Nancy, FR), Bernhard Schätz (fortiss GmbH – München, DE), Alan Wassyng (McMaster University – Hamilton, CA) | Top |
February 9 – 14 , 2014, Dagstuhl Seminar 14071Graph Modification ProblemsHans L. Bodlaender (Utrecht University, NL & Technical University Eindhoven, NL), Pinar Heggernes (University of Bergen, NO), Daniel Lokshtanov (University of Bergen, NO) | Top |
February 9 – 14 , 2014, Dagstuhl Seminar 14072New Perspectives in Shape AnalysisMichael Breuß (BTU Cottbus, DE), Alfred M. Bruckstein (Technion – Haifa, IL), Petros Maragos (National Technical University of Athens, GR), Stefanie Wuhrer (Universität des Saarlandes, DE) | Top |
February 16 – 21 , 2014, Dagstuhl Seminar 14081Robots Learning from ExperiencesAnthony G. Cohn (University of Leeds, GB), Bernd Neumann (Universität Hamburg, DE), Alessandro Saffiotti (University of Örebro, SE), Markus Vincze (TU Wien, AT) | Top |
February 16 – 21 , 2014, Dagstuhl Seminar 14082Visualization and Processing of Higher Order Descriptors for Multi-Valued DataBernhard Burgeth (Universität des Saarlandes, DE), Ingrid Hotz (DLR – Braunschweig, DE), Anna Vilanova (TU Delft, NL), Carl-Fredrik Westin (Harvard Medical School – Boston, US) | Top |
February 23 – 28 , 2014, Dagstuhl Seminar 14091Data Structures and Advanced Models of Computation on Big DataAlejandro Lopez-Ortiz (University of Waterloo, CA), Ulrich Carsten Meyer (Goethe-Universität – Frankfurt a. M., DE), Robert Sedgewick (Princeton University, US) | Top |
February 23 – 28 , 2014, Dagstuhl Seminar 14092Digital Evidence and Forensic ReadinessGlenn S. Dardick (Longwood University – Farmville, US), Barbara Endicott-Popovsky (University of Washington – Seattle, US), Pavel Gladyshev (University College Dublin, IE), Thomas Kemmerich (Gjøvik University College, NO), Carsten Rudolph (Fraunhofer SIT – Darmstadt, DE) | Top |
March 2 – 7 , 2014, Dagstuhl Seminar 14101Preference LearningJohannes Fürnkranz (TU Darmstadt, DE), Eyke Hüllermeier (Universität Marburg, DE), Cynthia Rudin (MIT – Camridge, US), Roman Slowinski (Poznan University of Technology, PL) | Top |
March 5 – 7 , 2014, Event 14103Modellbasierte Entwicklung eingebetteter Systeme (MBEES)Bernhard Schätz (fortiss GmbH – München, DE) | Top |
March 9 – 14 , 2014, Dagstuhl Seminar 14111Combinatorics and Algorithmics of StringsMaxime Crochemore (King's College London, GB), James D. Currie (University of Winnipeg, CA), Gregory Kucherov (University Paris-Est – Marne-la-Vallée, FR), Dirk Nowotka (Universität Kiel, DE) | Top |
March 10 – 13 , 2014, Dagstuhl Perspectives Workshop 14112Massive Open Online Courses: Current State and PerspectivesPierre Dillenbourg (EPFL – Lausanne, CH), Claude Kirchner (INRIA – Le Chesnay, FR), John C. Mitchell (Stanford University, US), Martin Wirsing (LMU München, DE) | Top |
March 16 – 21 , 2014, Dagstuhl Seminar 14121Computational Complexity of Discrete ProblemsAnna Gál (University of Texas – Austin, US), Michal Koucký (Charles University – Prague, CZ), Oded Regev (New York University, US), Rüdiger Reischuk (Universität Lübeck, DE) | Top |
March 16 – 21 , 2014, Dagstuhl Seminar 14122Verification of Cyber-Physical SystemsRupak Majumdar (MPI-SWS – Kaiserslautern, DE), Richard M. Murray (CalTech – Pasadena, US), Pavithra Prabhakar (IMDEA Software – Madrid, ES) | Top |
March 23 – 28 , 2014, Dagstuhl Seminar 14131Computational Models of Cultural Behavior for Human-Agent InteractionElisabeth André (Universität Augsburg, DE), Ruth Aylett (Heriot-Watt University Edinburgh, GB), Gert Jan Hofstede (Wageningen University, NL), Ana Paiva (INESC-ID – Porto Salvo, PT) | Top |
March 23 – 28 , 2014, Dagstuhl Seminar 14132Interaction and Collective Movement ProcessingMaike Buchin (Ruhr-Universität Bochum, DE), Luca Giuggioli (University of Bristol, GB), Guy Theraulaz (Université Paul Sabatier – Toulouse, FR), Marc van Kreveld (Utrecht University, NL) | Top |
March 30 – April 4 , 2014, Dagstuhl Seminar 14141Reachability Problems for Infinite-State SystemsJavier Esparza (TU München, DE), Alain Finkel (ENS – Cachan, FR), Pierre McKenzie (University of Montréal, CA), Joel Ouaknine (University of Oxford, GB) | Top |
March 30 – April 4 , 2014, Dagstuhl Seminar 14142Spatial reference in the Semantic Web and in RoboticsAldo Gangemi (CNR – Rome, IT), Verena V. Hafner (HU Berlin, DE), Werner Kuhn (University of California – Santa Barbara, US), Luc Steels (Free University of Brussels, BE) | Top |
April 6 – 9 , 2014, Event 14152Spring School: "Individual-centered Approaches to Speech Processing"Bernd Möbius (Universität des Saarlandes, DE), Jürgen Trouvain (Universität des Saarlandes, DE) | Top |
April 6 – 8 , 2014, Event 14154Lehrstuhltreffen AG ZellerAndreas Zeller (Universität des Saarlandes, DE) | Top |
April 9 – 11 , 2014, Event 14153International Workshop: "Multilinguality in Speech Research: Data, Methods and Models"Bernd Möbius (Universität des Saarlandes, DE), Jürgen Trouvain (Universität des Saarlandes, DE) | Top |
April 9 – 11 , 2014, Event 14155Klausurtagung Telematik KarlsruheSören Finster (KIT – Karlsruher Institut für Technologie, DE), Martina Zitterbart (KIT – Karlsruher Institut für Technologie, DE) | Top |
April 13 – 15 , 2014, Event 14162GIBU 2014: GI-Beirat der UniversitätsprofessorenGregor Snelting (KIT – Karlsruher Institut für Technologie, DE) | Top |
April 13 – 16 , 2014, Event 14163Klausurtagung "LST Halang"Wolfgang A. Halang (FernUniversität in Hagen, DE) | Top |
April 21 – 25 , 2014, Dagstuhl Seminar 14171Evaluating Software Verification Systems: Benchmarks and CompetitionsDirk Beyer (Universität Passau, DE), Marieke Huisman (University of Twente, NL), Vladimir Klebanov (KIT – Karlsruher Institut für Technologie, DE), Rosemary Monahan (NUI Maynooth, IE) | Top |
April 21 – 24 , 2014, Dagstuhl Seminar 14172Unifying Product and Software ConfigurationKrzysztof Czarnecki (University of Waterloo, CA), Arnaud Hubaux (ASML – Veldhoven, NL), Ethan Jackson (Microsoft Corporation – Redmond, US), Dietmar Jannach (TU Dortmund, DE), Tomi Männistö (University of Helsinki, FI) | Top |
April 24 – 25 , 2014, Event 14173GruppentreffenHans Hagen (TU Kaiserslautern, DE) | Top |
April 27 – May 2 , 2014, Dagstuhl Seminar 14181Multi-agent systems and their role in future energy gridsMichael N. Huhns (University of South Carolina – Columbia, US), Wolfgang Ketter (Erasmus University – Rotterdam, NL), Ryszard Kowalczyk (Swinburne University of Technology – Melbourne, AU), Fabrice Saffre (BT Research – Ipswich, GB) | Top |
April 27 – May 2 , 2014, Dagstuhl Perspectives Workshop 14182Categorical Methods at the CrossroadsSamson Abramsky (University of Oxford, GB), John C. Baez (University of California – Riverside, US), Fabio Gadducci (University of Pisa, IT), Viktor Winschel (Universität Mannheim, DE) | Top |
May 4 – 7 , 2014, Event 14192Kolloquium zum GI Dissertationspreis 2013Steffen Hölldobler (TU Dresden, DE) | Top |
May 4 – 7 , 2014, Event 14193FOSD-TreffenSven Apel (Universität Passau, DE), Christian Kästner (Carnegie Mellon University – Pittsburgh, US), Sandro Schulze (TU Braunschweig, DE) | Top |
May 11 – 16 , 2014, Dagstuhl Seminar 14201Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applicationsKira V. Adaricheva (Yeshiva University – New York, US), Giuseppe F. Italiano (University of Rome "Tor Vergata", IT), Hans Kleine Büning (Universität Paderborn, DE), György Turan (University of Illinois – Chicago, US) | Top |
May 12 – 15 , 2014, Dagstuhl Seminar 14202JA4AI – Judgment Aggregation for Artificial IntelligenceFranz Dietrich (CNRS, FR & University of East Anglia, GB), Ulle Endriss (University of Amsterdam, NL), Davide Grossi (University of Liverpool, GB), Gabriella Pigozzi (University Paris-Dauphine, FR) | Top |
May 18 – 23 , 2014, Dagstuhl Seminar 14211The Future of RefactoringDanny Dig (Oregon State University, US), William G. Griswold (University of California – San Diego, US), Emerson Murphy-Hill (North Carolina State University – Raleigh, US), Max Schaefer (Semmle Ltd. – Oxford, GB) | Top |
May 21 – 23 , 2014, Event 14212Klausurtagung Informatik THMTimo Péus (THM – Friedberg, DE) | Top |
May 25 – 30 , 2014, Dagstuhl Seminar 14221Geometric ModelingFalai Chen (Univ. of Science & Technology of China – Anhui, CN), Tor Dokken (SINTEF IKT Applied Mathematics – Oslo, NO), Thomas A. Grandine (The Boeing Company – Seattle, US), Stefanie Hahmann (University of Grenoble, FR & INRIA Grenoble, FR & LJK Grenoble, FR) | Top |
May 25 – 28 , 2014, Event 14222Workshop WissenschaftsjournalismusRoswitha Bardohl (Schloss Dagstuhl, DE), Gordon Bolduan (Universität des Saarlandes, DE), Tim Schröder (Oldenburg, DE) | Top |
June 1 – 6 , 2014, Dagstuhl Seminar 14231Scientific VisualizationMin Chen (University of Oxford, GB), Charles D. Hansen (University of Utah – Salt Lake City, US), Penny Rheingans (University of Maryland, Baltimore Country, US), Gerik Scheuermann (Universität Leipzig, DE) | Top |
June 1 – 6 , 2014, Dagstuhl Seminar 14232Design and Synthesis from ComponentsJakob Rehof (TU Dortmund, DE), Moshe Y. Vardi (Rice University – Houston, US) | Top |
June 9 – 13 , 2014, Dagstuhl Seminar 14241Challenges in Analysing Executables: Scalability, Self-Modifying Code and SynergyRoberto Giacobazzi (University of Verona, IT), Axel Simon (TU München, DE), Sarah Zennou (Airbus Group – Suresnes, FR) | Top |
June 9 – 13 , 2014, Event 14242Lehrstuhltreffen "Embedded Intelligence"Bernhard Sick (Universität Kassel, DE) | Top |
June 11 – 13 , 2014, Event 14243Lehrstuhltreffen RechtsinformatikChristoph Sorge (Universität des Saarlandes, DE) | Top |
June 15 – 18 , 2014, Event 14252Gemeinsamer Workshop der Graduiertenkollegs: Interdisciplinary scientific working principlesBjörn Engelmann (Universität Oldenburg, DE), Nils Erik Flick (Universität Oldenburg, DE), Yang Gao (Universität Oldenburg, DE), Sebastian Hahn (Hasso-Plattner-Institut – Potsdam, DE), Anja Jentzsch (Hasso-Plattner-Institut – Potsdam, DE), Heinrich Ody (Universität Oldenburg, DE), Sebastian Pasewaldt (Hasso-Plattner-Institut – Potsdam, DE) | Top |
June 22 – 27 , 2014, Dagstuhl Seminar 14261Software Development AnalyticsHarald Gall (Universität Zürich, CH), Tim Menzies (West Virginia University – Morgantown, US), Laurie Williams (North Carolina State University – Raleigh, US), Thomas Zimmermann (Microsoft Corporation – Redmond, US) | Top |
June 22 – 25 , 2014, Event 14262OPTET WorkshopSachar Paulus (FH Brandenburg an der Havel, DE) | Top |
June 25 – 27 , 2014, Event 14263Workshop Buchprojekt "Corporate Semantic Web"Börteçin Ege (TU Wien, AT), Thomas Hoppe (Datenlabor Berlin, DE), Bernhard Humm (Hochschule Darmstadt, DE), Anatol Reibold (OntoPort Group – Darmstadt, DE) | Top |
June 29 – July 4 , 2014, Dagstuhl Seminar 14271Scripting Languages and Frameworks: Analysis and VerificationFritz Henglein (University of Copenhagen, DK), Ranjit Jhala (University of California – San Diego, US), Shriram Krishnamurthi (Brown University – Providence, US), Peter Thiemann (Universität Freiburg, DE) | Top |
June 29 – July 2 , 2014, Dagstuhl Perspectives Workshop 14272Exploring Interdisciplinary Grand Challenges in ICT Design to Support Proactive Health and WellbeingElizabeth F. Churchill (eBay Research Labs, US), m.c. schraefel (University of Southampton, GB) | Top |
July 6 – 11 , 2014, Dagstuhl Seminar 14281Feature Interactions: The Next GenerationSven Apel (Universität Passau, DE), Joanne M. Atlee (University of Waterloo, CA), Luciano Baresi (Polytechnic University of Milan, IT), Pamela Zave (AT&T Labs Research – Bedminster, US) | Top |
July 6 – 9 , 2014, Dagstuhl Seminar 14282Crowdsourcing and the Semantic WebAbraham Bernstein (Universität Zürich, CH), Jan Marco Leimeister (Universität Kassel, DE & Universität St. Gallen, CH), Natasha Noy (Google Inc. – Mountain View, US), Elena Simperl (University of Southampton, GB) | Top |
July 9 – 11 , 2014, Event 14283Lehrstuhltreffen AG GrimmRüdiger Grimm (Universität Koblenz-Landau, DE) | Top |
July 13 – 16 , 2014, Dagstuhl Seminar 14291Information-Centric Networking 3Dirk Kutscher (NEC Laboratories Europe – Heidelberg, DE), Taekyoung Kwon (Seoul National University, KR), Ignacio Solis (Xerox PARC – Palo Alto, US) | Top |
July 13 – 16 , 2014, Dagstuhl Seminar 14292Network Attack Detection and Defense: Securing Industrial Control Systems for Critical InfrastructuresMarc C. Dacier (Doha, QA), Frank Kargl (Universität Ulm, DE), Hartmut König (BTU Cottbus, DE), Alfonso Valdes (University of Illinois – Urbana Champaign, US) | Top |
July 20 – 25 , 2014, Dagstuhl Seminar 14301Computational Humanities - bridging the gap between Computer Science and Digital HumanitiesChris Biemann (TU Darmstadt, DE), Gregory R. Crane (Tufts University, US), Christiane D. Fellbaum (Princeton University, US), Alexander Mehler (Goethe-Universität – Frankfurt a. M., DE) | Top |
July 20 – 24 , 2014, Dagstuhl Seminar 14302Digital Palaeography: New Machines and Old TextsTal Hassner (The Open University of Israel – Raanana, IL), Robert Sablatnig (TU Wien, AT), Dominique Stutzmann (CNRS – Paris, FR), Ségolène Tarte (University of Oxford, GB) | Top |
July 20 – 26 , 2014, Event 14309ForschungsaufenthaltFrances A. Rosamond (Charles Darwin University – Darwin, AU) | Top |
August 10 – 14 , 2014, Dagstuhl Seminar 14331Querying and Reasoning Under Expressive ConstraintsMichael Benedikt (University of Oxford, GB), Carsten Lutz (Universität Bremen, DE), Balder Ten Cate (University of California – Santa Cruz, US) | Top |
August 10 – 14 , 2014, Dagstuhl Seminar 14332Formal Methods for Coordinating Multi-Agent SystemsThomas Agotnes (University of Bergen, NO), Nils Bulling (TU Clausthal, DE), Sascha Ossowski (University Rey Juan Carlos, ES) | Top |
August 10 – 14 , 2014, Event 14339ForschungsaufenthaltFrances A. Rosamond (Charles Darwin University – Darwin, AU) | Top |
August 17 – 22 , 2014, Dagstuhl Seminar 14341Resource-bounded Problem SolvingYll Haxhimusa (TU Wien, AT), Iris van Rooij (Radboud University Nijmegen, NL), Sashank Varma (University of Minnesota – Minneapolis, US), Todd Wareham (Memorial University of Newfoundland, CA) | Top |
August 17 – 22 , 2014, Dagstuhl Seminar 14342Equilibrium ComputationNimrod Megiddo (IBM Almaden Center, US), Kurt Mehlhorn (MPI für Informatik – Saarbrücken, DE), Vijay V. Vazirani (Georgia Institute of Technology – Atlanta, US), Mihalis Yannakakis (Columbia University – New York, US) | Top |
August 24 – 29 , 2014, Dagstuhl Seminar 14351Decision Procedures and Abstract InterpretationDaniel Kroening (University of Oxford, GB), Thomas W. Reps (University of Wisconsin – Madison, US), Sanjit A. Seshia (University of California – Berkeley, US) | Top |
August 24 – 29 , 2014, Dagstuhl Seminar 14352Next Generation Static Software Analysis ToolsPatrick Cousot (ENS – Paris, FR), Klaus Havelund (NASA – Pasadena, US), Daniel Kroening (University of Oxford, GB), Carsten Sinz (KIT – Karlsruher Institut für Technologie, DE) | Top |
August 24 – 29 , 2014, Event 14359ForschungsaufenthaltFrances A. Rosamond (Charles Darwin University – Darwin, AU) | Top |
August 27 – 28 , 2014, Event 14354Klausurtagung Universität des SaarlandesVolker Linneweber (Universität des Saarlandes, DE) | Top |
August 31 – September 5 , 2014, Dagstuhl Seminar 14361Computational Aspects of FabricationMarc Alexa (TU Berlin, DE), Bernd Bickel (Disney Research – Zürich, CH), Sara McMains (University of California – Berkeley, US), Holly E. Rushmeier (Yale University, US) | Top |
August 31 – September 5 , 2014, Dagstuhl Seminar 14362Augmenting Human Memory - Capture and Recall in the Era of LifeloggingMark Billinghurst (University of Canterbury – Christchurch, NZ), Nigel Davies (Lancaster University, GB), Marc Langheinrich (University of Lugano, CH), Albrecht Schmidt (Universität Stuttgart, DE) | Top |
September 7 – 12 , 2014, Dagstuhl Seminar 14371Adjoint Methods in Computational Science, Engineering, and FinanceNicolas R. Gauger (TU Kaiserslautern, DE), Michael Giles (University of Oxford, GB), Max D. Gunzburger (Florida State University, US), Uwe Naumann (RWTH Aachen, DE) | Top |
September 7 – 12 , 2014, Dagstuhl Seminar 14372Analysis of Algorithms Beyond the Worst CaseMaria-Florina Balcan (Carnegie Mellon University, US), Bodo Manthey (University of Twente, NL), Heiko Röglin (Universität Bonn, DE), Tim Roughgarden (Stanford University, US) | Top |
September 14 – 19 , 2014, Dagstuhl Seminar 14381Neural-Symbolic Learning and ReasoningArtur d'Avila Garcez (City University – London, GB), Marco Gori (University of Siena, IT), Pascal Hitzler (Wright State University – Dayton, US), Luis C. Lamb (Federal University of Rio Grande do Sul, BR) | Top |
September 14 – 19 , 2014, GI-Dagstuhl Seminar 14382Control Theory meets Software EngineeringAntonio Filieri (Universität Stuttgart, DE), Martina Maggio (Lund University, SE) | Top |
September 21 – 26 , 2014, Dagstuhl Seminar 14391Algebra in Computational ComplexityManindra Agrawal (Indian Institute of Technology – Kanpur, IN), Valentine Kabanets (Simon Fraser University – Burnaby, CA), Thomas Thierauf (Hochschule Aalen, DE), Christopher Umans (CalTech – Pasadena, US) | Top |
September 21 – 26 , 2014, Event 14392Autumn School 2014 for Information Retrieval and Information ForagingIngo Frommholz (University of Bedfordshire – Luton, GB), Norbert Fuhr (Universität Duisburg-Essen, DE), Thomas Mandl (Universität Hildesheim, DE) | Top |
September 28 – October 2 , 2014, Dagstuhl Perspectives Workshop 14401Privacy and Security in an Age of SurveillanceMatt Blaze (University of Pennsylvania, US), Bart Preneel (KU Leuven, BE), Phillip Rogaway (University of California – Davis, US), Mark D. Ryan (University of Birmingham, GB), Peter Y. A. Ryan (University of Luxembourg, LU) | Top |
September 28 – October 1 , 2014, Dagstuhl Seminar 14402Resilience in Exascale ComputingHermann Härtig (TU Dresden, DE), Satoshi Matsuoka (Tokyo Institute of Technology, JP), Frank Mueller (North Carolina State University – Raleigh, US), Alexander Reinefeld (Konrad-Zuse-Zentrum – Berlin, DE) | Top |
October 1 – 2 , 2014, Event 14403Research Colloquium Automation and Energy Systems Group Fall 2014Georg Frey (Universität des Saarlandes, DE) | Top |
October 5 – 10 , 2014, Dagstuhl Seminar 14411Constraints, Optimization and DataLuc De Raedt (KU Leuven, BE), Barry O'Sullivan (University College Cork, IE), Michele Sebag (University of Paris South XI, FR), Pascal Van Hentenryck (The University of Melbourne, AU) | Top |
October 5 – 10 , 2014, Dagstuhl Seminar 14412Globalizing Domain-Specific LanguagesBetty H. C. Cheng (Michigan State University – East Lansing, US), Robert B. France (Colorado State University, US), Jean-Marc Jézéquel (IRISA / CNRS, FR), Bernhard Rumpe (RWTH Aachen, DE) | Top |
October 12 – 17 , 2014, Dagstuhl Seminar 14421Optimal algorithms and proofsOlaf Beyersdorff (University of Leeds, GB), Edward A. Hirsch (Steklov Institute – St. Petersburg, RU), Jan Krajicek (Charles University – Prague, CZ), Rahul Santhanam (University of Edinburgh, GB) | Top |
October 12 – 17 , 2014, Event 14422DDI: Facilitating Process and Metadata-Driven Automation in the Social, Economic, and Behavioural Sciences with the Data Documentation InitiativeArofan Gregory (Open Data Foundation – Tucson, US), Jon Johnson (Centre for Longitudinal Studies London, GB), Wendy Thomas (University of Minnesota – Minneapolis, US), Joachim Wackerow (GESIS – Mannheim, DE) | Top |
October 19 – 24 , 2014, Event 14432DDI Lifecycle: Moving ForwardArofan Gregory (Open Data Foundation – Tucson, US), Larry Hoyle (The University of Kansas – Lawrence, US), Wendy Thomas (University of Minnesota – Minneapolis, US), Mary Vardigan (University of Michigan – Ann Arbor, US), Joachim Wackerow (GESIS – Mannheim, DE) | Top |
October 19 – 24 , 2014, GI-Dagstuhl Seminar 14433Software Engineering for Self-Adaptive SystemsAlessandra Gorla (Universität des Saarlandes, DE), Matthias Tichy (Chalmers UT – Göteborg, SE), Thomas Vogel (Hasso-Plattner-Institut – Potsdam, DE) | Top |
October 26 – 31 , 2014, Dagstuhl Seminar 14441Modeling, Verification, and Control of Complex Systems for Energy NetworksAlessandro Abate (University of Oxford, GB), Martin Fränzle (Universität Oldenburg, DE), Ian Hiskens (University of Michigan – Ann Arbor, US), Martin Strelec (UWB – Pilsen, CZ) | Top |
October 27 – 30 , 2014, Dagstuhl Seminar 14442Symbolic Execution and Constraint SolvingCristian Cadar (Imperial College London, GB), Vijay Ganesh (University of Waterloo, CA), Koushik Sen (University of California – Berkeley, US) | Top |
November 2 – 7 , 2014, Dagstuhl Seminar 14451Optimality and tight results in parameterized complexityStefan Kratsch (TU Berlin, DE), Daniel Lokshtanov (University of Bergen, NO), Dániel Marx (Hungarian Academy of Sciences – Budapest, HU), Peter Rossmanith (RWTH Aachen, DE) | Top |
November 2 – 7 , 2014, Dagstuhl Seminar 14452Algorithmic CheminformaticsWolfgang Banzhaf (Memorial University of Newfoundland, CA), Christoph Flamm (Universität Wien, AT), Daniel Merkle (University of Southern Denmark – Odense, DK), Peter F. Stadler (Universität Leipzig, DE) | Top |
November 9 – 14 , 2014, Dagstuhl Seminar 14461High-performance Graph Algorithms and Applications in Computational ScienceUlrich Carsten Meyer (Goethe-Universität – Frankfurt a. M., DE), Henning Meyerhenke (KIT – Karlsruher Institut für Technologie, DE), Ali Pinar (Sandia Nat. Labs – Livermore, US), Ilya Safro (Clemson University, US) | Top |
November 9 – 12 , 2014, Dagstuhl Seminar 14462Systems and Algorithms for Large-scale Graph AnalyticsDerek Murray (San Francisco, US), Amitabha Roy (EPFL – Lausanne, CH), Eiko Yoneki (University of Cambridge, GB) | Top |
November 12 – 14 , 2014, Event 14463IFIP TC6 2014/2 Strategic Review MeetingJordi Domingo-Pascual (UPC – Barcelona, ES), Gunnar Karlsson (KTH Royal Institute of Technology, SE), Siraj Ahmed Shaikh (Coventry University, GB), Otto Spaniol (RWTH Aachen, DE) | Top |
November 16 – 21 , 2014, Dagstuhl Seminar 14471Towards an Affordable Internet Access for Everyone: The Quest for Enabling Universal Service CommitmentJon Crowcroft (University of Cambridge, GB), Adam Wolisz (TU Berlin, DE) | Top |
November 16 – 19 , 2014, Event 14472KlausurtagungNicola Wolpert (University of Applied Sciences – Stuttgart, DE) | Top |
November 17 – 18 , 2014, Event 14474Secan Lab SeminarThomas Engel (University of Luxembourg, LU) | Top |
November 19 – 21 , 2014, Event 14473Klausurtagung "LST Schmeck"Florian Allerding (KIT – Karlsruher Institut für Technologie, DE), Hartmut Schmeck (KIT – Karlsruher Institut für Technologie, DE) | Top |
November 20 – 21 , 2014, Event 14475SFB-TreffenFrank Mücklich (Universität des Saarlandes, DE) | Top |
November 23 – 28 , 2014, Dagstuhl Seminar 14481Multiscale Spatial Computational Systems BiologyDavid Gilbert (Brunel University – London, GB), Monika Heiner (BTU Cottbus, DE), Koichi Takahashi (Osaka University, JP), Adelinde M. Uhrmacher (Universität Rostock, DE) | Top |
November 23 – 28 , 2014, Dagstuhl Seminar 14482Automated Planning and Model CheckingAlessandro Cimatti (Bruno Kessler Foundation – Trento, IT), Stefan Edelkamp (Universität Bremen, DE), Maria Fox (King's College London, GB), Erion Plaku (CUA – Washington, US) | Top |
November 30 – December 5 , 2014, Dagstuhl Seminar 14491Socio-Technical Security MetricsDieter Gollmann (TU Hamburg-Harburg, DE), Cormac Herley (Microsoft Corporation – Redmond, US), Wolter Pieters (TU Delft, NL & University of Twente, NL), Martina Angela Sasse (University College London, GB) | Top |
November 30 – December 5 , 2014, Dagstuhl Seminar 14492The synergy between programming languages and cryptographyGilles Barthe (IMDEA Software – Madrid, ES), Michael Hicks (University of Maryland – College Park, US), Florian Kerschbaum (SAP SE – Karlsruhe, DE), Dominique Unruh (University of Tartu, EE) | Top |
December 7 – 10 , 2014, GI-Dagstuhl Seminar 14502Informatik@Schule - Agenda für informatische Bildung in der SchuleRainer Gemulla (Universität Mannheim, DE), Wim Martens (Universität Bayreuth, DE), Johannes Schöning (Hasselt University – Diepenbeek, BE), Carsten Schulte (FU Berlin, DE) | Top |
December 7 – 9 , 2014, Event 14504Young Researcher's Training SFB-TRR55 Lattice QCDSara Collins (Universität Regensburg, DE), Andreas Frommer (Bergische Universität Wuppertal, DE), Francesco Knechtli (Bergische Universität Wuppertal, DE) | Top |
December 10 – 12 , 2014, Event 14503Lehrerfortbildung in InformatikRoswitha Bardohl (Schloss Dagstuhl, DE), Manuel Garcia Mateos (LPM Saarbrücken, DE), Martin Zimnol (Pädagogisches Landesinstitut Rheinland-Pfalz, DE) | Top |
December 14 – 19 , 2014, Dagstuhl Seminar 14511Programming Languages for Big Data (PlanBig)James Cheney (University of Edinburgh, GB), Torsten Grust (Universität Tübingen, DE), Dimitrios Vytiniotis (Microsoft Research UK – Cambridge, GB) | Top |
December 14 – 19 , 2014, Dagstuhl Seminar 14512Collective Adaptive Systems: Qualitative and Quantitative Modelling and AnalysisJane Hillston (University of Edinburgh, GB), Jeremy Pitt (Imperial College London, GB), Martin Wirsing (LMU München, DE), Franco Zambonelli (University of Modena, IT) | Top |