Seminare und Dagstuhl-Perspektiven-Workshops 2017:
08. – 13. Januar 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 |
08. – 13. Januar 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 |
15. – 20. Januar 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 |
15. – 18. Januar 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 |
22. – 27. Januar 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 |
22. – 27. Januar 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 |
29. Januar – 03. Februar 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 |
05. – 10. Februar 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 |
05. – 10. Februar 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 |
12. – 17. Februar 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 |
12. – 17. Februar 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 |
19. – 24. Februar 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 |
19. – 22. Februar 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 |
26. Februar – 03. März 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 |
26. Februar – 01. März 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 |
05. – 10. März 2017, Dagstuhl Seminar 17101Databases on Future HardwareGustavo Alonso (ETH Zürich, CH), Michaela Blott (Xilinx – Dublin, IE), Jens Teubner (TU Dortmund, DE) | Top |
05. – 08. März 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 |
12. – 17. März 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 |
12. – 15. März 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 |
19. – 24. März 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 |
26. – 31. März 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 |
26. – 29. März 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 |
02. – 07. April 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 |
02. – 05. April 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 |
17. – 20. April 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 |
17. – 20. April 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 |
23. – 28. April 2017, Dagstuhl Seminar 17171Computational GeometryOtfried Cheong (KAIST – Daejeon, KR), Anne Driemel (TU Eindhoven, NL), Jeff Erickson (University of Illinois – Urbana-Champaign, US) | Top |
01. – 05. Mai 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 |
07. – 12. Mai 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 |
07. – 12. Mai 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 |
14. – 19. Mai 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 |
14. – 19. Mai 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 |
28. Mai – 02. Juni 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 |
28. Mai – 02. Juni 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 |
05. – 09. Juni 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 |
05. – 08. Juni 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 |
18. – 23. Juni 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 |
18. – 21. Juni 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 |
25. – 30. Juni 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 |
25. – 30. Juni 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 |
02. – 07. Juli 2017, Dagstuhl Seminar 17271Foundations of Wireless NetworkingChristina Fragouli (University of California at Los Angeles, US), Magnus M. Halldorsson (Reykjavik University, IS), Kyle Jamieson (Princeton University, US & University College London, GB), Bhaskar Krishnamachari (USC – Los Angeles, US) | Top |
02. – 05. Juli 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 |
09. – 14. Juli 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 |
09. – 14. Juli 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 |
16. – 21. Juli 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 |
16. – 21. Juli 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 |
23. – 28. Juli 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 |
13. – 18. August 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 |
20. – 25. August 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 |
20. – 25. August 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 |
27. August – 01. September 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 |
27. – 30. August 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 |
03. – 08. September 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 |
10. – 15. September 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 |
10. – 13. September 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 |
17. – 22. September 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 |
17. – 20. September 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 |
24. – 29. September 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 |
24. – 29. September 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 Svanes (NTNU – Trondheim, NO) | Top |
01. – 06. Oktober 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 |
08. – 13. Oktober 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 |
08. – 11. Oktober 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 |
15. – 20. Oktober 2017, Dagstuhl Seminar 17421Computational ProteomicsBernhard Küster (TU München, DE), Kathryn Lilley (University of Cambridge, GB), Lennart Martens (Ghent University, BE) | Top |
22. – 27. Oktober 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 |
29. Oktober – 03. November 2017, Dagstuhl Seminar 17441Big Stream Processing SystemsTilmann Rabl (TU Berlin, DE), Sherif Sakr (KSAU – Riyadh, SA) | Top |
29. Oktober – 03. November 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 |
05. – 10. November 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 |
05. – 10. November 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 |
12. – 17. November 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 |
12. – 15. November 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 |
19. – 24. November 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 |
19. – 22. November 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 |
26. November – 01. Dezember 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 |
03. – 08. Dezember 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 |
03. – 08. Dezember 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 |
10. – 13. Dezember 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 |
17. – 20. Dezember 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 |