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 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 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 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 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 |
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 10 – 15 , 2013, Dagstuhl Seminar 13111SchedulingSusanne Albers (HU Berlin, DE), Onno J. Boxma (TU Eindhoven, NL), Kirk Pruhs (University of Pittsburgh, US) | 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 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 |
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 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 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 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 |
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 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 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 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 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 29 – October 4 , 2013, Dagstuhl Seminar 13401Automatic Application Tuning for HPC ArchitecturesSiegfried Benkner (Universität Wien, AT), Franz Franchetti (Carnegie Mellon University, US), 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 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 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 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 |
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 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 |