Seminar-Kalender : Druckversion




08. – 13. Januar 2017, Dagstuhl Seminar 17021

Functoriality in Geometric Data


Mirela Ben-Chen (Technion – Haifa, IL), Frédéric Chazal (INRIA Saclay – Île-de-France, FR), Leonidas J. Guibas (Stanford University, US), Maks Ovsjanikov (Ecole Polytechnique – Palaiseau, FR)

Top

08. – 13. Januar 2017, Dagstuhl Seminar 17022

Automated Program Repair


Sunghun 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 17031

Planning and Robotics


Malik 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 17032

Network Function Virtualization in Software Defined Infrastructures


David 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 17041

Randomization in Parameterized Complexity


Marek 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 17042

From Characters to Understanding Natural Language (C2NLU): Robust End-to-End Deep Learning for NLP


Phil 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 17051

Theory and Applications of Behavioural Types


Simon 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 17061

Wildly Heterogeneous Post-CMOS Technologies Meet Software


Jeró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 17062

Beyond VR and AR: Reimagining Experience Sharing and Skill Transfer Towards an Internet of Abilities


Anind 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 17071

Computer-Assisted Engineering for Robotics and Autonomous Systems


Erika 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 17072

Applications of Topology to the Analysis of 1-Dimensional Objects


Benjamin 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 17081

Computability Theory


Klaus 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 17082

Shape-Changing Interfaces


Jason 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 17091

Computer Science Meets Ecology


Benjamin 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 17092

Search as Learning


Kevyn 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 17101

Databases on Future Hardware


Gustavo Alonso (ETH Zürich, CH), Michaela Blott (Xilinx – Dublin, IE), Jens Teubner (TU Dortmund, DE)

Top

05. – 08. März 2017, Dagstuhl Seminar 17102

Rethinking Productivity in Software Engineering


Thomas 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 17111

Game Theory in AI, Logic, and Algorithms


Swarat 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 17112

Using Networks to Teach About Networks


Timur 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 17121

Computational Complexity of Discrete Problems


Anna 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 17131

Mixed Criticality on Multicore / Manycore Platforms


Sanjoy 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 17132

Opportunities and Risks of Blockchain Technologies


Roman 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 17141

Probabilistic Methods in the Design and Analysis of Algorithms


Bodo 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 17142

Formal Methods of Transformations


Emmanuel 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 17161

Ambient Notification Environments


Lewis 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 17162

Online Privacy and Web Transparency


Nataliia 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 17171

Computational Geometry


Otfried Cheong (KAIST – Daejeon, KR), Anne Driemel (TU Eindhoven, NL), Jeff Erickson (University of Illinois – Urbana-Champaign, US)

Top

01. – 05. Mai 2017, Dagstuhl Seminar 17181

Theory and Applications of Hashing


Martin 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 17191

Theory of Randomized Optimization Heuristics


Carola 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 17192

Human-Like Neural-Symbolic Computing


Tarek R. 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 17201

Formal Synthesis of Cyber-Physical Systems


Calin 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 17202

Challenges and Opportunities of User-Level File Systems for HPC


André 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 17221

Geometric Modelling, Interoperability and New Challenges


Falai 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 17222

Robust Performance in Database Query Processing


Renata 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 17231

Epistemic Planning


Chitta 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 17232

Computational Interactivity


Xiaojun 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 17251

Game Theory Meets Computational Learning Theory


Maria-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 17252

Computational Challenges in RNA-Based Gene Regulation: Protein-RNA Recognition, Regulation and Prediction


Rolf 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 17261

Voting: Beyond Simple Majorities and Single-Winner Elections


Dorothea 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 17262

Federated Semantic Data Management


Johann-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 17271

Foundations of Wireless Networking


Christina 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 17272

Citizen Science: Design and Engagement


Irene 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 17281

Malware Analysis: From Large-Scale Data Triage to Targeted Attack Recognition


Saumya 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 17282

From Observations to Prediction of Movement


Mark 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 17291

Resource Bound Analysis


Marco 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 17292

Topology, Computation and Data Analysis


Hamish 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 17301

User-Generated Content in Social Media


Tat-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

23. – 28. Juli 2017, GI-Dagstuhl Seminar 17303

Internet of Things Hackathon: From Research to Practice


Alexander Afanasyev (UCLA, US), Oliver Hahm (Zühlke Engineering GmbH, DE), Matthias Wählisch (FU Berlin, DE)

Top

13. – 18. August 2017, Dagstuhl Seminar 17332

Scalable Set Visualizations


Yifan 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

13. – 18. August 2017, Event 17333

Sommerschule "Data Management Techniques"


Goetz Graefe (Google – Madison, US)

Top

20. – 25. August 2017, Dagstuhl Seminar 17341

Computational Counting


Ivona 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 17342

SLEBOK: The Software Language Engineering Body of Knowledge


Benoit 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 17351

Machine Learning and Formal Methods


Susmit 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 17352

Analysis and Synthesis of Floating-point Programs


Eva 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 17361

Finite and Algorithmic Model Theory


Anuj 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 17371

Deduction Beyond First-Order Logic


Jasmin 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 17372

Cybersafety in Modern Online Social Networks


Jeremy 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 17381

Recent Trends in Knowledge Compilation


Adnan 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 17382

Approaches and Applications of Inductive Programming


Stephen 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 17391

Deep Learning for Computer Vision


Daniel 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 17392

Body-Centric Computing


Steve 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 17401

Quantum Cryptanalysis


Michele 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

01. – 06. Oktober 2017, Event 17403

Autumn School 2017 for Information Retrieval and Information Foraging


Ingo Frommholz (University of Bedfordshire – Luton, GB), Norbert Fuhr (Universität Duisburg-Essen, DE), Thomas Mandl (Universität Hildesheim, DE)

Top

08. – 13. Oktober 2017, Dagstuhl Seminar 17411

Hyperspectral, Multispectral, and Multimodal (HMM) Imaging: Acquisition, Algorithms, and Applications


Gonzalo R. Arce (University of Delaware, US), Richard Bamler (DLR – Oberpfaffenhofen, DE), Jon Yngve Hardeberg (Norwegian Univ. of Science & Technology – Gjøvik, NO), Andreas Kolb (Universität Siegen, DE), Shida Kunz (MPI für Informatik – Saarbrücken, DE)

Top

08. – 11. Oktober 2017, Dagstuhl Seminar 17412

Internet of People


Elizabeth 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 17421

Computational Proteomics


Bernhard Küster (TU München, DE), Kathryn Lilley (University of Cambridge, GB), Lennart Martens (Ghent University, BE)

Top

22. – 27. Oktober 2017, Dagstuhl Seminar 17431

Performance Portability in Extreme Scale Computing: Metrics, Challenges, Solutions


Anshu 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 17441

Big Stream Processing Systems


Tilmann Rabl (TU Berlin, DE), Sherif Sakr (KSAU – Riyadh, SA)

Top

29. Oktober – 03. November 2017, Dagstuhl Perspectives Workshop 17442

Towards Cross-Domain Performance Modeling and Prediction: IR/RecSys/NLP


Nicola Ferro (University of Padova, IT), Norbert Fuhr (Universität Duisburg-Essen, DE), Gregory Grefenstette (IHMC – Paris, FR), Joseph Konstan (University of Minnesota – Minneapolis, US)

Top

05. – 10. November 2017, Dagstuhl Seminar 17451

New Challenges in Parallelism


Annette 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 17452

Algorithmic Cheminformatics


Jakob 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 17461

Connecting Visualization and Data Management Research


Remco 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 17462

A Shared Challenge in Behavioural Specification


Klaus 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 17471

Artificial and Computational Intelligence in Games: AI-Driven Game Design


Elisabeth 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 17472

Addressing the Computational Challenges of Personalized Medicine


Niko 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 17481

Reliable Computation and Complexity on the Reals


Norbert 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 17491

Computational Metabolomics: Identification, Interpretation, Imaging


Theodore 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 17492

Multi-Level Modelling


Joao 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 17502

Testing and Verification of Compilers


Junjie Chen (Peking University, CN), Alastair F. Donaldson (Imperial College London, GB), Andreas Zeller (Universität des Saarlandes, DE), Hongyu Zhang (Microsoft Research – Beijing, CN)

Top

13. – 15. Dezember 2017, Event 17503

Lehrerfortbildung in Informatik


Manuel Garcia Mateos (LPM Saarbrücken, DE), Michael Gerke (Schloss Dagstuhl – Saarbrücken, DE), Martin Zimnol (Pädagogisches Landesinstitut Rheinland-Pfalz, DE)

Top

17. – 20. Dezember 2017, Dagstuhl Seminar 17511

The Critical Internet Infrastructure Revisited


Georg 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

Seminar-Kalender : Letzte Änderung 18.12.2017, 09:42 Uhr