Alle Veranstaltungen 2017:



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

29. Januar – 01. Februar 2017, Event 17053

Intelligent Multimodal Interaction


Elisabeth André (Universität Augsburg, DE), Leo Wanner (ICREA and Universitat Pompeu Fabra – Barcelona, ES)

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

22. – 24. Februar 2017, Event 17083

Klausurtagung Telematik Karlsruhe


Robert Bauer (KIT – Karlsruher Institut für Technologie, DE), Martina Zitterbart (KIT – Karlsruher Institut für Technologie, DE)

Top

22. – 24. Februar 2017, Event 17084

Digitalisierte Mobilität


Karl-Heinz Krempels (Fraunhofer FIT – St. Augustin, DE)

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

09. – 14. März 2017, Event 17109

Forschungsaufenthalt


Kay Hamacher (TU Darmstadt, DE)

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

15. – 17. März 2017, Event 17113

Modellbasierte Entwicklung eingebetteter Systeme (MBEES)


Michaela Huhn (Ostfalia Hochschule – Wolfenbüttel, DE), Matthias Riebisch (Universität Hamburg, 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

19. – 24. März 2017, Event 17123

Lehrstuhltreffen "Embedded Intelligence"


Bernhard Sick (Universität Kassel, DE)

Top

20. – 22. März 2017, Event 17124

Klausurtagung Large Scale Ontology Learning


Klaus-Peter Scherer (KIT – Karlsruher Institut für Technologie, DE)

Top

23. – 24. März 2017, Event 17125

Yearly Research Retreat of the Software Technology Group from TU Kaiserslautern


Arnd Poetzsch-Heffter (TU Kaiserslautern, 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

29. – 31. März 2017, Event 17133

Lehrstuhltreffen AG Zeller


Andreas Zeller (Universität des Saarlandes, DE)

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

05. – 07. April 2017, Event 17143

PROTASIS Marie Sklodowska-Curie IoT Workshop


Herbert Bos (Free University Amsterdam, NL), Thorsten Holz (Ruhr-Universität Bochum, DE), Evangelos Markatos (FORTH – Heraklion, GR)

Top

09. – 11. April 2017, Event 17153

GIBU 2017: GI-Beirat der Universitätsprofessoren


Gregor Snelting (KIT – Karlsruher Institut für Technologie, DE)

Top

09. – 12. April 2017, Event 17154

Klausurtagung "LST Halang"


Wolfgang A. Halang (FernUniversität in Hagen, 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

20. – 21. April 2017, Event 17163

DBLP-Treffen


Florian Reitz (Schloss Dagstuhl – Trier, DE)

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

23. – 26. April 2017, Event 17174

Arbeitstreffen Text-Technology Lab


Alexander Mehler (Goethe-Universität – Frankfurt a. M., DE)

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

01. – 06. Mai 2017, Event 17189

Forschungsaufenthalt


Carla Manni (University of Rome "Tor Vergata", IT)

Top

02. – 03. Mai 2017, Event 17185

Fakultätsklausur der Fakultät für Informatik - SRH Hochschule Heidelberg


Barbara Sprick (SRH Hochschule Heidelberg, DE)

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

21. – 24. Mai 2017, Event 17213

Kolloquium zum GI Dissertationspreis 2016


Steffen Hölldobler (TU Dresden, DE)

Top

22. – 24. Mai 2017, Event 17215

Klausurtagung


Christian Rossow (Universität des Saarlandes, DE)

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

28. Mai – 02. Juni 2017, Event 17229

Forschungsaufenthalt


Paul Buitelaar (National University of Ireland – Galway, IE)

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

08. – 09. Juni 2017, Event 17233

GI-Tagung der Arbeitsgruppe Robotersysteme


Karsten Berns (TU Kaiserslautern, DE)

Top

11. – 14. Juni 2017, Event 17243

Gemeinsamer Workshop der Graduiertenkollegs - 11th Joint Workshop of the German Research Training in Computer Science: GRKs 1994 AIPHES and 2050 PAT


Thomas Arnold (TU Darmstadt, DE), Tim Grube (TU Darmstadt, DE), Iryna Gurevych (TU Darmstadt, DE), Benjamin Heinzerling (TU Darmstadt, DE), Max Jakob Maaß (TU Darmstadt, DE), Max Mühlhäuser (TU Darmstadt, DE), Christopher Tauchmann (TU Darmstadt, DE), Nora Wessels (TU Darmstadt, DE)

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

02. – 07. Juli 2017, Event 17279

Forschungsaufenthalt


Carola Doerr (CNRS & UPMC, Paris, FR)

Top

05. – 07. Juli 2017, Event 17273

Workshop Buchprojekt "Corporate Semantic Web"


Thomas Hoppe (Datenlabor Berlin, DE), Bernhard Humm (Hochschule Darmstadt, DE), Anatol Reibold (OntoPort UG – Darmstadt, DE)

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

30. August – 01. September 2017, Event 17353

Klausurtagung "AG Goesele"


Michael Goesele (TU Darmstadt, DE)

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

03. – 06. September 2017, Event 17363

Klausurtagung


Felix Freiling (Universität Erlangen-Nürnberg, DE)

Top

06. – 08. September 2017, Event 17364

Propelling Business Process Management


Martin Matzner (Universität Erlangen-Nürnberg, DE), Nadine Ogonek (Universität Münster, DE), Armin Stein (Universität Münster, 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

13. – 15. September 2017, Event 17373

Digitalisierte Mobilität


Karl-Heinz Krempels (Fraunhofer FIT – St. Augustin, DE)

Top

13. – 14. September 2017, Event 17374

Lehrstuhltreffen Rechtsinformatik


Christoph Sorge (Universität des Saarlandes, DE)

Top

14. – 15. September 2017, Event 17375

Arbeitstreffen Prof. Slusallek


Philipp Slusallek (DFKI – Saarbrücken, 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

20. – 22. September 2017, Event 17383

Klausurtagung Large Scale Ontology Learning (II)


Klaus-Peter Scherer (KIT – Karlsruher Institut für Technologie, DE)

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

11. – 13. Oktober 2017, Event 17413

Klausurtagung AG Schneider


Klaus Schneider (TU Kaiserslautern, DE)

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

15. – 20. Oktober 2017, Event 17423

DDI Moving Forward: Production Framework and Bindings


Kelly Chatain (University of Michigan – Ann Arbor, US), Larry Hoyle (The University of Kansas – Lawrence, US), Jon Johnson (UK Data Service – Colchester, GB), Wendy Thomas (University of Minnesota – Minneapolis, US), Joachim Wackerow (GESIS – Mannheim, DE)

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

22. – 27. Oktober 2017, Event 17433

DDI Moving Forward: Integration of Core Components / DDI-based Infrastructure Vision


Kelly Chatain (University of Michigan – Ann Arbor, US), Larry Hoyle (The University of Kansas – Lawrence, US), Jon Johnson (UK Data Service – Colchester, GB), Steven McEachern (Australian National University – Canberra, AU), Wendy Thomas (University of Minnesota – Minneapolis, US), Joachim Wackerow (GESIS – Mannheim, DE)

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

15. – 17. November 2017, Event 17463

Retreat for the Research Training Group "Adaptive Information Preparation from Heterogeneous Sources (AIPHES)"


Johannes Fürnkranz (TU Darmstadt, DE)

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

22. – 24. November 2017, Event 17473

Klausurtagung "LST Schmeck"


Fabian Rigoll (FZI – Karlsruhe, DE), Hartmut Schmeck (KIT – Karlsruher Institut für Technologie, DE)

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

26. November – 01. Dezember 2017, Event 17483

LDBC graphQL Writing Workshop


Peter A. Boncz (CWI – Amsterdam, NL)

Top

26. November – 02. Dezember 2017, Event 17489

Forschungsaufenthalt


Carla Manni (University of Rome "Tor Vergata", IT)

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

10. – 20. Dezember 2017, Event 17509

Forschungsaufenthalt


Gunnar Karlsson (KTH Royal Institute of Technology – Stockholm, SE)

Top

12. Dezember 2017, Event 17505

Redaktions-Sitzung "Informatik in der Schule"


Martin Zimnol (Pädagogisches Landesinstitut Rheinland-Pfalz, DE)

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

18. – 19. Dezember 2017, Event 17513

Secan Lab Meeting


Thomas Engel (University of Luxembourg, LU)

Top