January 8 – 13 , 2017, Dagstuhl Seminar 17021Functoriality in Geometric DataMirela Ben-Chen (Technion – Haifa, IL), Frédéric Chazal (INRIA Saclay – Palaiseau, FR), Leonidas J. Guibas (Stanford University, US), Maks Ovsjanikov (Ecole Polytechnique – Palaiseau, FR) | Top |
January 8 – 13 , 2017, Dagstuhl Seminar 17022Automated Program RepairSunghun Kim (HKUST – Kowloon, HK), Claire Le Goues (Carnegie Mellon University – Pittsburgh, US), Michael Pradel (TU Darmstadt, DE), Abhik Roychoudhury (National University of Singapore, SG) | Top |
January 15 – 20 , 2017, Dagstuhl Seminar 17031Planning and RoboticsMalik Ghallab (LAAS – Toulouse, FR), Nick Hawes (University of Birmingham, GB), Daniele Magazzeni (King's College London, GB), Brian C. Williams (MIT – Cambridge, US) | Top |
January 15 – 18 , 2017, Dagstuhl Seminar 17032Network Function Virtualization in Software Defined InfrastructuresDavid Hausheer (TU Darmstadt, DE), Oliver Hohlfeld (RWTH Aachen, DE), Diego R. Lopez (Telefonica I+D – Seville, ES), Bruce MacDowell Maggs (Duke University – Durham, US), Costin Raiciu (University Politehnica of Bucharest, RO) | Top |
January 22 – 27 , 2017, Dagstuhl Seminar 17041Randomization in Parameterized ComplexityMarek Cygan (University of Warsaw, PL), Fedor V. Fomin (University of Bergen, NO), Danny Hermelin (Ben Gurion University – Beer Sheva, IL), Magnus Wahlström (Royal Holloway University of London, GB) | Top |
January 22 – 27 , 2017, Dagstuhl Seminar 17042From Characters to Understanding Natural Language (C2NLU): Robust End-to-End Deep Learning for NLPPhil Blunsom (University of Oxford, GB), Kyunghyun Cho (New York University, US), Chris Dyer (Carnegie Mellon University – Pittsburgh, US), Hinrich Schütze (LMU München, DE) | Top |
January 29 – February 3 , 2017, Dagstuhl Seminar 17051Theory and Applications of Behavioural TypesSimon Gay (University of Glasgow, GB), Vasco T. Vasconcelos (University of Lisbon, PT), Philip Wadler (University of Edinburgh, GB), Nobuko Yoshida (Imperial College London, GB) | Top |
February 5 – 10 , 2017, Dagstuhl Seminar 17061Wildly Heterogeneous Post-CMOS Technologies Meet SoftwareJerónimo Castrillón-Mazo (TU Dresden, DE), Tei-Wei Kuo (National Taiwan University – Taipei, TW), Heike E. Riel (IBM Research Zurich, CH), Sayeef Salahuddin (University of California – Berkeley, US) | Top |
February 5 – 10 , 2017, Dagstuhl Seminar 17062Beyond VR and AR: Reimagining Experience Sharing and Skill Transfer Towards an Internet of AbilitiesAnind K. Dey (Carnegie Mellon University – Pittsburgh, US), Jonna Häkkilä (University of Lapland – Rovaniemi, FI), Niels Henze (Universität Stuttgart, DE), Kai Kunze (Keio University – Yokohama, JP), Jun Rekimoto (University of Tokyo, JP) | Top |
February 12 – 17 , 2017, Dagstuhl Seminar 17071Computer-Assisted Engineering for Robotics and Autonomous SystemsErika Abraham (RWTH Aachen, DE), Hadas Kress-Gazit (Cornell University – Ithaca, US), Lorenzo Natale (Italian Institute of Technology – Genova, IT), Armando Tacchella (University of Genova, IT) | Top |
February 12 – 17 , 2017, Dagstuhl Seminar 17072Applications of Topology to the Analysis of 1-Dimensional ObjectsBenjamin Burton (The University of Queensland, AU), Maarten Löffler (Utrecht University, NL), Carola Wenk (Tulane University, US), Erin Moriarty Wolf Chambers (St. Louis University, US) | Top |
February 19 – 24 , 2017, Dagstuhl Seminar 17081Computability TheoryKlaus Ambos-Spies (Universität Heidelberg, DE), Vasco Brattka (Universität der Bundeswehr – München, DE), Rodney Downey (Victoria University – Wellington, NZ), Steffen Lempp (University of Wisconsin – Madison, US) | Top |
February 19 – 22 , 2017, Dagstuhl Seminar 17082Shape-Changing InterfacesJason Alexander (Lancaster University, GB), Sean Follmer (Stanford University, US), Kasper Hornbaek (University of Copenhagen, DK), Anne Roudaut (University of Bristol, GB) | Top |
February 26 – March 3 , 2017, Dagstuhl Seminar 17091Computer Science Meets EcologyBenjamin Adams (University of Auckland, NZ), Gustau Camps-Valls (University of Valencia, ES), Thomas Hickler (Senckenberg Research Centre, DE), Birgitta König-Ries (Universität Jena, DE) | Top |
February 26 – March 1 , 2017, Dagstuhl Seminar 17092Search as LearningKevyn Collins-Thompson (University of Michigan – Ann Arbor, US), Preben Hansen (Stockholm University, SE), Claudia Hauff (TU Delft, NL), Claus-Peter Klas (GESIS – Köln, DE) | Top |
March 5 – 10 , 2017, Dagstuhl Seminar 17101Databases on Future HardwareGustavo Alonso (ETH Zürich, CH), Michaela Blott (Xilinx – Dublin, IE), Jens Teubner (TU Dortmund, DE) | Top |
March 5 – 8 , 2017, Dagstuhl Seminar 17102Rethinking Productivity in Software EngineeringThomas Fritz (Universität Zürich, CH), Gloria Mark (University of California – Irvine, US), Gail C. Murphy (University of British Columbia – Vancouver, CA), Thomas Zimmermann (Microsoft Corporation – Redmond, US) | Top |
March 12 – 17 , 2017, Dagstuhl Seminar 17111Game Theory in AI, Logic, and AlgorithmsSwarat Chaudhuri (Rice University – Houston, US), Sampath Kannan (University of Pennsylvania – Philadelphia, US), Rupak Majumdar (MPI-SWS – Kaiserslautern, DE), Michael J. Wooldridge (University of Oxford, GB) | Top |
March 12 – 15 , 2017, Dagstuhl Seminar 17112Using Networks to Teach About NetworksTimur Friedman (UPMC – Paris, FR), Aiko Pras (University of Twente, NL), Jürgen Schönwälder (Jacobs University Bremen, DE) | Top |
March 19 – 24 , 2017, Dagstuhl Seminar 17121Computational Complexity of Discrete ProblemsAnna Gál (University of Texas – Austin, US), Michal Koucký (Charles University – Prague, CZ), Oded Regev (New York University, US), Till Tantau (Universität zu Lübeck, DE) | Top |
March 26 – 31 , 2017, Dagstuhl Seminar 17131Mixed Criticality on Multicore / Manycore PlatformsSanjoy K. Baruah (University of North Carolina at Chapel Hill, US), Liliana Cucu-Grosjean (INRIA – Paris, FR), Robert Davis (University of York, GB), Zoë Stephenson (Rapita Systems Ltd. – York, GB) | Top |
March 26 – 29 , 2017, Dagstuhl Seminar 17132Opportunities and Risks of Blockchain TechnologiesRoman Beck (IT University of Copenhagen, DK), Christian Becker (Universität Mannheim, DE), Juho Lindman (University of Göteborg | Chalmers UT, SE), Matti Rossi (Aalto University, FI) | Top |
April 2 – 7 , 2017, Dagstuhl Seminar 17141Probabilistic Methods in the Design and Analysis of AlgorithmsBodo Manthey (University of Twente, NL), Claire Mathieu (ENS – Paris, FR), Heiko Röglin (Universität Bonn, DE), Eli Upfal (Brown University – Providence, US) | Top |
April 2 – 5 , 2017, Dagstuhl Seminar 17142Formal Methods of TransformationsEmmanuel Filiot (Free University of Brussels, BE), Sebastian Maneth (University of Edinburgh, GB), Helmut Seidl (TU München, DE) | Top |
April 17 – 20 , 2017, Dagstuhl Seminar 17161Ambient Notification EnvironmentsLewis Chuang (MPI für biologische Kybernetik – Tübingen, DE), Sven Gehring (DFKI – Saarbrücken, DE), Judy Kay (The University of Sydney, AU), Albrecht Schmidt (Universität Stuttgart, DE) | Top |
April 17 – 20 , 2017, Dagstuhl Seminar 17162Online Privacy and Web TransparencyNataliia Bielova (INRIA Sophia Antipolis, FR), Nikolaos Laoutaris (Telefónica Research – Barcelona, ES), Arvind Narayanan (Princeton University, US), Nick Nikiforakis (Stony Brook University, US) | Top |
April 23 – 28 , 2017, Dagstuhl Seminar 17171Computational GeometryOtfried Cheong (KAIST – Daejeon, KR), Anne Driemel (TU Eindhoven, NL), Jeff Erickson (University of Illinois – Urbana-Champaign, US) | Top |
May 1 – 5 , 2017, Dagstuhl Seminar 17181Theory and Applications of HashingMartin Dietzfelbinger (TU Ilmenau, DE), Michael Mitzenmacher (Harvard University – Cambridge, US), Rasmus Pagh (IT University of Copenhagen, DK), David P. Woodruff (IBM Almaden Center – San Jose, US) | Top |
May 7 – 12 , 2017, Dagstuhl Seminar 17191Theory of Randomized Optimization HeuristicsCarola Doerr (CNRS & UPMC, Paris, FR), Christian Igel (University of Copenhagen, DK), Lothar Thiele (ETH Zürich, CH), Xin Yao (University of Birmingham, GB) | Top |
May 7 – 12 , 2017, Dagstuhl Seminar 17192Human-Like Neural-Symbolic ComputingTarek Richard Besold (Universität Bremen, DE), Artur d'Avila Garcez (City, University of London, GB), Ramanathan V. Guha (Los Altos Hills, US), Luis C. Lamb (Federal University of Rio Grande do Sul, BR) | Top |
May 14 – 19 , 2017, Dagstuhl Seminar 17201Formal Synthesis of Cyber-Physical SystemsCalin A. Belta (Boston University – Brookline, US), Rupak Majumdar (MPI-SWS – Kaiserslautern, DE), Majid Zamani (TU München, DE) | Top |
May 14 – 19 , 2017, Dagstuhl Seminar 17202Challenges and Opportunities of User-Level File Systems for HPCAndré Brinkmann (Universität Mainz, DE), Kathryn Mohror (LLNL – Livermore, US), Weikuan Yu (Florida State University – Tallahassee, US) | Top |
May 28 – June 2 , 2017, Dagstuhl Seminar 17221Geometric Modelling, Interoperability and New ChallengesFalai Chen (Univ. of Science & Technology of China – Anhui, CN), Tor Dokken (SINTEF – Oslo, NO), Thomas A. Grandine (The Boeing Company – Seattle, US), Géraldine Morin (University of Toulouse, FR) | Top |
May 28 – June 2 , 2017, Dagstuhl Seminar 17222Robust Performance in Database Query ProcessingRenata Borovica-Gajic (The University of Melbourne, AU), Goetz Graefe (Google – Madison, US), Allison Lee (Snowflake Computing Inc. – San Mateo, US) | Top |
June 5 – 9 , 2017, Dagstuhl Seminar 17231Epistemic PlanningChitta Baral (Arizona State University – Tempe, US), Thomas Bolander (Technical University of Denmark – Lyngby, DK), Sheila McIlraith (University of Toronto, CA), Hans Van Ditmarsch (LORIA – Nancy, FR) | Top |
June 5 – 8 , 2017, Dagstuhl Seminar 17232Computational InteractivityXiaojun Bi (Stony Brook University, US), Otmar Hilliges (ETH Zürich, CH), Takeo Igarashi (University of Tokyo, JP), Antti Oulasvirta (Aalto University, FI) | Top |
June 18 – 23 , 2017, Dagstuhl Seminar 17251Game Theory Meets Computational Learning TheoryMaria-Florina Balcan (Carnegie Mellon University – Pittsburgh, US), Paul W. Goldberg (University of Oxford, GB), Michael J. Kearns (University of Pennsylvania – Philadelphia, US), Yishay Mansour (Tel Aviv University, IL) | Top |
June 18 – 21 , 2017, Dagstuhl Seminar 17252Computational Challenges in RNA-Based Gene Regulation: Protein-RNA Recognition, Regulation and PredictionRolf Backofen (Universität Freiburg, DE), Yael Mandel-Gutfreund (Technion – Haifa, IL), Uwe Ohler (Max-Delbrück-Centrum – Berlin, DE), Gabriele Varani (University of Washington – Seattle, US) | Top |
June 25 – 30 , 2017, Dagstuhl Seminar 17261Voting: Beyond Simple Majorities and Single-Winner ElectionsDorothea Baumeister (Heinrich-Heine-Universität Düsseldorf, DE), Piotr Faliszewski (AGH University of Science & Technology – Krakow, PL), Annick Laruelle (University of the Basque Country – Bilbao, ES), Toby Walsh (TU Berlin, DE) | Top |
June 25 – 30 , 2017, Dagstuhl Seminar 17262Federated Semantic Data ManagementJohann-Christoph Freytag (HU Berlin, DE), Olaf Hartig (Linköping University, SE), Maria-Esther Vidal (Universidad S. Bolivar – Caracas, VE) | Top |
July 2 – 7 , 2017, Dagstuhl Seminar 17271Foundations of Wireless NetworkingChristina Fragouli (University of California at Los Angeles, US), Magnús M. Halldórsson (Reykjavik University, IS), Kyle Jamieson (Princeton University, US & University College London, GB), Bhaskar Krishnamachari (USC – Los Angeles, US) | Top |
July 2 – 5 , 2017, Dagstuhl Seminar 17272Citizen Science: Design and EngagementIrene Celino (CEFRIEL – Milan, IT), Oscar Corcho (Polytechnic University of Madrid, ES), Franz Hölker (IGB – Berlin, DE), Elena Simperl (University of Southampton, GB) | Top |
July 9 – 14 , 2017, Dagstuhl Seminar 17281Malware Analysis: From Large-Scale Data Triage to Targeted Attack RecognitionSaumya K. Debray (University of Arizona – Tucson, US), Thomas Dullien (Google Switzerland – Zürich, CH), Arun Lakhotia (University of Louisiana – Lafayette, US), Sarah Zennou (Airbus Group – Suresnes, FR) | Top |
July 9 – 14 , 2017, Dagstuhl Seminar 17282From Observations to Prediction of MovementMark Birkin (University of Leeds, GB), Somayeh Dodge (University of Minnesota – Minneapolis, US), Brittany Terese Fasy (Montana State University – Bozeman, US), Richard Philip Mann (University of Leeds, GB) | Top |
July 16 – 21 , 2017, Dagstuhl Seminar 17291Resource Bound AnalysisMarco Gaboardi (University at Buffalo, US), Jan Hoffmann (Carnegie Mellon University – Pittsburgh, US), Reinhard Wilhelm (Universität des Saarlandes, DE), Florian Zuleger (TU Wien, AT) | Top |
July 16 – 21 , 2017, Dagstuhl Seminar 17292Topology, Computation and Data AnalysisHamish Carr (University of Leeds, GB), Michael Kerber (TU Graz, AT), Bei Wang (University of Utah – Salt Lake City, US) | Top |
July 23 – 28 , 2017, Dagstuhl Seminar 17301User-Generated Content in Social MediaTat-Seng Chua (National University of Singapore, SG), Norbert Fuhr (Universität Duisburg-Essen, DE), Gregory Grefenstette (IHMC – Paris, FR), Kalervo Järvelin (University of Tampere, FI), Jaakko Peltonen (Aalto University, FI) | Top |
July 23 – 28 , 2017, GI-Dagstuhl Seminar 17303Internet of Things Hackathon: From Research to PracticeAlexander Afanasyev (UCLA, US), Oliver Hahm (Zühlke Engineering GmbH, DE), Matthias Wählisch (FU Berlin, DE) | Top |
August 13 – 18 , 2017, Dagstuhl Seminar 17332Scalable Set VisualizationsYifan Hu (Yahoo! Research – New York, US), Luana Micallef (Aalto University, FI), Martin Nöllenburg (TU Wien, AT), Peter Rodgers (University of Kent – Canterbury, GB) | Top |
August 13 – 18 , 2017, Event 17333Sommerschule "Data Management Techniques"Goetz Graefe (Google – Madison, US) | Top |
August 20 – 25 , 2017, Dagstuhl Seminar 17341Computational CountingIvona Bezáková (Rochester Institute of Technology, US), Leslie Ann Goldberg (University of Oxford, GB), Mark R. Jerrum (Queen Mary University of London, GB) | Top |
August 20 – 25 , 2017, Dagstuhl Seminar 17342SLEBOK: The Software Language Engineering Body of KnowledgeBenoit Combemale (IRISA – Rennes, FR), Ralf Lämmel (Universität Koblenz-Landau, DE), Eric Van Wyk (University of Minnesota – Minneapolis, US) | Top |
August 27 – September 1 , 2017, Dagstuhl Seminar 17351Machine Learning and Formal MethodsSusmit Jha (SRI – Menlo Park, US), Andreas Krause (ETH Zürich, CH), Sanjit A. Seshia (University of California – Berkeley, US), Xiaojin Zhu (University of Wisconsin – Madison, US) | Top |
August 27 – 30 , 2017, Dagstuhl Seminar 17352Analysis and Synthesis of Floating-point ProgramsEva Darulova (MPI-SWS – Saarbrücken, DE), Alastair F. Donaldson (Imperial College London, GB), Zvonimir Rakamaric (University of Utah – Salt Lake City, US), Cindy Rubio-Gonzalez (University of California – Davis, US) | Top |
September 3 – 8 , 2017, Dagstuhl Seminar 17361Finite and Algorithmic Model TheoryAnuj Dawar (University of Cambridge, GB), Erich Grädel (RWTH Aachen, DE), Phokion G. Kolaitis (University of California – Santa Cruz, US), Thomas Schwentick (TU Dortmund, DE) | Top |
September 10 – 15 , 2017, Dagstuhl Seminar 17371Deduction Beyond First-Order LogicJasmin Christian Blanchette (VU University of Amsterdam, NL), Carsten Fuhs (Birkbeck, University of London, GB), Viorica Sofronie-Stokkermans (Universität Koblenz-Landau, DE), Cesare Tinelli (University of Iowa – Iowa City, US) | Top |
September 10 – 13 , 2017, Dagstuhl Seminar 17372Cybersafety in Modern Online Social NetworksJeremy Blackburn (University of Alabama at Birmingham, US), Emiliano De Cristofaro (University College London, GB), Michael Sirivianos (Cyprus University of Technology – Lemesos, CY), Thorsten Strufe (TU Dresden, DE) | Top |
September 17 – 22 , 2017, Dagstuhl Seminar 17381Recent Trends in Knowledge CompilationAdnan Darwiche (UCLA, US), Pierre Marquis (Artois University – Lens, FR), Dan Suciu (University of Washington – Seattle, US), Stefan Szeider (TU Wien, AT) | Top |
September 17 – 20 , 2017, Dagstuhl Seminar 17382Approaches and Applications of Inductive ProgrammingStephen H. Muggleton (Imperial College London, GB), Ute Schmid (Universität Bamberg, DE), Rishabh Singh (Microsoft Research – Redmond, US) | Top |
September 24 – 29 , 2017, Dagstuhl Seminar 17391Deep Learning for Computer VisionDaniel Cremers (TU München, DE), Laura Leal-Taixé (TU München, DE), Ian Reid (University of Adelaide, AU), René Vidal (Johns Hopkins University – Baltimore, US) | Top |
September 24 – 29 , 2017, Dagstuhl Seminar 17392Body-Centric ComputingSteve Benford (University of Nottingham, GB), Kristina Höök (KTH Royal Institute of Technology – Stockholm, SE), Florian Mueller (RMIT University – Melbourne, AU), Dag Svanaes (NTNU – Trondheim, NO) | Top |
October 1 – 6 , 2017, Dagstuhl Seminar 17401Quantum CryptanalysisMichele Mosca (University of Waterloo, CA), Nicolas Sendrier (INRIA – Paris, FR), Rainer Steinwandt (Florida Atlantic University – Boca Raton, US), Krysta Svore (Microsoft Corporation – Redmond, US) | Top |
October 1 – 6 , 2017, Event 17403Autumn School 2017 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 |
October 8 – 13 , 2017, Dagstuhl Seminar 17411Hyperspectral, Multispectral, and Multimodal (HMM) Imaging: Acquisition, Algorithms, and ApplicationsGonzalo R. Arce (University of Delaware, US), Richard Bamler (DLR – Oberpfaffenhofen, DE), Shida Beigpour (MPI für Informatik – Saarbrücken, DE), Jon Yngve Hardeberg (Norwegian Univ. of Science & Technology – Gjøvik, NO), Andreas Kolb (Universität Siegen, DE) | Top |
October 8 – 11 , 2017, Dagstuhl Seminar 17412Internet of PeopleElizabeth M. Belding (University of California – Santa Barbara, US), Jörg Ott (TU München, DE), Andrea Passarella (CNR – Pisa, IT), Peter Reichl (Universität Wien, AT) | Top |
October 15 – 20 , 2017, Dagstuhl Seminar 17421Computational ProteomicsBernhard Küster (TU München, DE), Kathryn Lilley (University of Cambridge, GB), Lennart Martens (Ghent University, BE) | Top |
October 22 – 27 , 2017, Dagstuhl Seminar 17431Performance Portability in Extreme Scale Computing: Metrics, Challenges, SolutionsAnshu Dubey (Argonne National Laboratory, US), Paul H. J. Kelly (Imperial College London, GB), Bernd Mohr (Jülich Supercomputing Centre, DE), Jeffrey S. Vetter (Oak Ridge National Laboratory, US) | Top |
October 29 – November 3 , 2017, Dagstuhl Seminar 17441Big Stream Processing SystemsTilmann Rabl (TU Berlin, DE), Sherif Sakr (KSAU – Riyadh, SA) | Top |
October 29 – November 3 , 2017, Dagstuhl Perspectives Workshop 17442Towards Cross-Domain Performance Modeling and Prediction: IR/RecSys/NLPNicola Ferro (University of Padova, IT), Norbert Fuhr (Universität Duisburg-Essen, DE), Gregory Grefenstette (IHMC – Paris, FR), Joseph A. Konstan (University of Minnesota – Minneapolis, US) | Top |
November 5 – 10 , 2017, Dagstuhl Seminar 17451New Challenges in ParallelismAnnette Bieniusa (TU Kaiserslautern, DE), Hans-J. Boehm (Google – Palo Alto, US), Maurice Herlihy (Brown University – Providence, US), Erez Petrank (Technion – Haifa, IL) | Top |
November 5 – 10 , 2017, Dagstuhl Seminar 17452Algorithmic CheminformaticsJakob Lykke Andersen (Tokyo Institute of Technology, JP), Christoph Flamm (Universität Wien, AT), Daniel Merkle (University of Southern Denmark – Odense, DK), Peter F. Stadler (Universität Leipzig, DE) | Top |
November 12 – 17 , 2017, Dagstuhl Seminar 17461Connecting Visualization and Data Management ResearchRemco Chang (Tufts University – Medford, US), Jean-Daniel Fekete (INRIA Saclay – Orsay, FR), Juliana Freire (New York University, US), Carlos E. Scheidegger (University of Arizona – Tucson, US) | Top |
November 12 – 15 , 2017, Dagstuhl Seminar 17462A Shared Challenge in Behavioural SpecificationKlaus Havelund (NASA – Pasadena, US), Martin Leucker (Universität Lübeck, DE), Giles Reger (University of Manchester, GB), Volker Stolz (West. Norway Univ. of Applied Sciences – Bergen, NO) | Top |
November 19 – 24 , 2017, Dagstuhl Seminar 17471Artificial and Computational Intelligence in Games: AI-Driven Game DesignElisabeth André (Universität Augsburg, DE), Michael Cook (University of London, GB), Mike Preuß (Universität Münster, DE), Pieter Spronck (Tilburg University, NL) | Top |
November 19 – 22 , 2017, Dagstuhl Seminar 17472Addressing the Computational Challenges of Personalized MedicineNiko Beerenwinkel (ETH Zürich – Basel, CH), Holger Fröhlich (UCB Biosciences GmbH – Monheim, DE), Franziska Michor (Harvard Medical School – Boston, US), Susan A. Murphy (Harvard University – Cambridge, US) | Top |
November 26 – December 1 , 2017, Dagstuhl Seminar 17481Reliable Computation and Complexity on the RealsNorbert T. Müller (Universität Trier, DE), Siegfried M. Rump (TU Hamburg-Harburg, DE), Klaus Weihrauch (FernUniversität in Hagen, DE), Martin Ziegler (KAIST – Daejeon, KR) | Top |
December 3 – 8 , 2017, Dagstuhl Seminar 17491Computational Metabolomics: Identification, Interpretation, ImagingTheodore Alexandrov (EMBL Heidelberg, DE), Sebastian Böcker (Universität Jena, DE), Pieter Dorrestein (UC – San Diego, US), Emma Schymanski (University of Luxembourg, LU) | Top |
December 3 – 8 , 2017, Dagstuhl Seminar 17492Multi-Level ModellingJoão Paulo Almeida (Federal University of Espírito Santo – Vitória, BR), Colin Atkinson (Universität Mannheim, DE), Ulrich Frank (Universität Duisburg-Essen, DE), Thomas Kühne (Victoria University – Wellington, NZ) | Top |
December 10 – 13 , 2017, Dagstuhl Seminar 17502Testing and Verification of CompilersJunjie Chen (Peking University, CN), Alastair F. Donaldson (Imperial College London, GB), Andreas Zeller (Universität des Saarlandes, DE), Hongyu Zhang (University of Newcastle, AU) | Top |
December 13 – 15 , 2017, Event 17503Lehrerfortbildung in InformatikManuel Garcia Mateos (LPM Saarbrücken, DE), Michael Gerke (Schloss Dagstuhl – Saarbrücken, DE), Martin Zimnol (Pädagogisches Landesinstitut Rheinland-Pfalz, DE) | Top |
December 17 – 20 , 2017, Dagstuhl Seminar 17511The Critical Internet Infrastructure RevisitedGeorg Carle (TU München, DE), Thomas C. Schmidt (HAW – Hamburg, DE), Steve Uhlig (Queen Mary University of London, GB), Matthias Wählisch (FU Berlin, DE), Walter Willinger (Niksun – Princeton, US) | Top |