January 5 – 10 , 2014, Dagstuhl Seminar 14021

Symmetric Cryptography


Frederik Armknecht (Universität Mannheim, DE), Helena Handschuh (Cryptography Research Inc. – San Francisco, US), Tetsu Iwata (Nagoya University, JP), Bart Preneel (KU Leuven, BE)

Top

January 5 – 10 , 2014, Dagstuhl Perspectives Workshop 14022

Connecting Performance Analysis and Visualization to Advance Extreme Scale Computing


Peer-Timo Bremer (LLNL – Livermore, US), Bernd Mohr (Jülich Supercomputing Centre, DE), Valerio Pascucci (University of Utah, US), Martin Schulz (LLNL – Livermore, US)

Top

January 12 – 17 , 2014, Dagstuhl Seminar 14031

Randomized Timed and Hybrid Models for Critical Infrastructures


Erika Abraham (RWTH Aachen, DE), Alberto Avritzer (Siemens – Princeton, US), Anne Remke (University of Twente, NL), William H. Sanders (University of Illinois – Urbana Champaign, US)

Top

January 12 – 15 , 2014, Dagstuhl Seminar 14032

Planning with epistemic goals


Thomas Agotnes (University of Bergen, NO), Gerhard Lakemeyer (RWTH Aachen, DE), Benedikt Löwe (University of Amsterdam, NL), Bernhard Nebel (Universität Freiburg, DE)

Top

January 19 – 24 , 2014, Dagstuhl Seminar 14041

Quantitative Models: Expressiveness, Analysis, and New Applications


Manfred Droste (Universität Leipzig, DE), Paul Gastin (ENS – Cachan, FR), Kim Guldstrand Larsen (Aalborg University, DK), Axel Legay (INRIA Rennes – Bretagne Atlantique, FR)

Top

January 19 – 22 , 2014, Dagstuhl Seminar 14042

Do-it-yourself Networking: an Interdisciplinary Approach


Panayotis Antoniadis (ETH Zürich, CH), Jörg Ott (Aalto University, FI), Andrea Passarella (CNR – Pisa, IT)

Top

January 26 – 31 , 2014, Dagstuhl Seminar 14051

Algorithms for Wireless Communication


Guy Even (Tel Aviv University, IL), Magnus M. Halldorsson (Reykjavik University, IS), Yvonne-Anne Pignolet (ABB Corporate Research – Baden-Dättwil, CH), Christian Scheideler (Universität Paderborn, DE)

Top

January 26 – 31 , 2014, Dagstuhl Seminar 14052

Ethics in Data Sharing


Sven Dietrich (Stevens Institute of Technology, US), Mireille Hildebrandt (Free University of Brussels, BE), Aiko Pras (University of Twente, NL), Lenore D. Zuck (University of Illinois – Chicago, US)

Top

February 2 – 7 , 2014, Dagstuhl Seminar 14061

Statistical Techniques for Translating to Morphologically Rich Languages


Alexander M. Fraser (LMU München, DE), Kevin Knight (USC – Marina del Rey, US), Philipp Koehn (University of Edinburgh, GB), Helmut Schmid (LMU München, DE), Hans Uszkoreit (Universität des Saarlandes, DE)

Top

February 2 – 7 , 2014, Dagstuhl Seminar 14062

The Pacemaker Challenge: Developing Certifiable Medical Devices


Dominique Méry (LORIA – Nancy, FR), Bernhard Schätz (fortiss GmbH – München, DE), Alan Wassyng (McMaster University – Hamilton, CA)

Top

February 9 – 14 , 2014, Dagstuhl Seminar 14071

Graph Modification Problems


Hans L. Bodlaender (Utrecht University, NL & Technical University Eindhoven, NL), Pinar Heggernes (University of Bergen, NO), Daniel Lokshtanov (University of Bergen, NO)

Top

February 9 – 14 , 2014, Dagstuhl Seminar 14072

New Perspectives in Shape Analysis


Michael Breuß (BTU Cottbus, DE), Alfred M. Bruckstein (Technion – Haifa, IL), Petros Maragos (National Technical University of Athens, GR), Stefanie Wuhrer (Universität des Saarlandes, DE)

Top

February 16 – 21 , 2014, Dagstuhl Seminar 14081

Robots Learning from Experiences


Anthony G. Cohn (University of Leeds, GB), Bernd Neumann (Universität Hamburg, DE), Alessandro Saffiotti (University of Örebro, SE), Markus Vincze (TU Wien, AT)

Top

February 16 – 21 , 2014, Dagstuhl Seminar 14082

Visualization and Processing of Higher Order Descriptors for Multi-Valued Data


Bernhard Burgeth (Universität des Saarlandes, DE), Ingrid Hotz (DLR – Braunschweig, DE), Anna Vilanova Bartroli (TU Delft, NL), Carl-Fredrik Westin (Harvard Medical School – Boston, US)

Top

February 23 – 28 , 2014, Dagstuhl Seminar 14091

Data Structures and Advanced Models of Computation on Big Data


Alejandro Lopez-Ortiz (University of Waterloo, CA), Ulrich Carsten Meyer (Goethe-Universität – Frankfurt a. M., DE), Robert Sedgewick (Princeton University, US)

Top

February 23 – 28 , 2014, Dagstuhl Seminar 14092

Digital Evidence and Forensic Readiness


Glenn S. Dardick (Longwood University – Farmville, US), Barbara Endicott-Popovsky (University of Washington – Seattle, US), Pavel Gladyshev (University College Dublin, IE), Thomas Kemmerich (Gjøvik University College, NO), Carsten Rudolph (Fraunhofer SIT – Darmstadt, DE)

Top

March 2 – 7 , 2014, Dagstuhl Seminar 14101

Preference Learning


Johannes Fürnkranz (TU Darmstadt, DE), Eyke Hüllermeier (Universität Marburg, DE), Cynthia Rudin (MIT – Camridge, US), Roman Slowinski (Poznan University of Technology, PL)

Top

March 9 – 14 , 2014, Dagstuhl Seminar 14111

Combinatorics and Algorithmics of Strings


Maxime Crochemore (King's College London, GB), James D. Currie (University of Winnipeg, CA), Gregory Kucherov (University Paris-Est – Marne-la-Vallée, FR), Dirk Nowotka (Universität Kiel, DE)

Top

March 10 – 13 , 2014, Dagstuhl Perspectives Workshop 14112

Massive Open Online Courses: Current State and Perspectives


Pierre Dillenbourg (EPFL – Lausanne, CH), Claude Kirchner (INRIA – Le Chesnay, FR), John C. Mitchell (Stanford University, US), Martin Wirsing (LMU München, DE)

Top

March 16 – 21 , 2014, Dagstuhl Seminar 14121

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), Rüdiger Reischuk (Universität Lübeck, DE)

Top

March 16 – 21 , 2014, Dagstuhl Seminar 14122

Verification of Cyber-Physical Systems


Rupak Majumdar (MPI-SWS – Kaiserslautern, DE), Richard M. Murray (CalTech – Pasadena, US), Pavithra Prabhakar (IMDEA Software – Madrid, ES)

Top

March 23 – 28 , 2014, Dagstuhl Seminar 14131

Computational Models of Cultural Behavior for Human-Agent Interaction


Elisabeth André (Universität Augsburg, DE), Ruth Aylett (Heriot-Watt University Edinburgh, GB), Gert Jan Hofstede (Wageningen University, NL), Ana Paiva (INESC-ID – Porto Salvo, PT)

Top

March 23 – 28 , 2014, Dagstuhl Seminar 14132

Interaction and Collective Movement Processing


Maike Buchin (Ruhr-Universität Bochum, DE), Luca Giuggioli (University of Bristol, GB), Guy Theraulaz (Université Paul Sabatier – Toulouse, FR), Marc van Kreveld (Utrecht University, NL)

Top

March 30 – April 4 , 2014, Dagstuhl Seminar 14141

Reachability Problems for Infinite-State Systems


Javier Esparza (TU München, DE), Alain Finkel (ENS – Cachan, FR), Pierre McKenzie (University of Montréal, CA), Joel Ouaknine (University of Oxford, GB)

Top

March 30 – April 4 , 2014, Dagstuhl Seminar 14142

Spatial reference in the Semantic Web and in Robotics


Aldo Gangemi (CNR – Rome, IT), Verena V. Hafner (HU Berlin, DE), Werner Kuhn (University of California – Santa Barbara, US), Luc Steels (Free University of Brussels, BE)

Top

April 6 – 9 , 2014, Event 14152

Spring School: "Individual-centered Approaches to Speech Processing"


Bernd Möbius (Universität des Saarlandes, DE), Jürgen Trouvain (Universität des Saarlandes, DE)

Top

April 21 – 25 , 2014, Dagstuhl Seminar 14171

Evaluating Software Verification Systems: Benchmarks and Competitions


Dirk Beyer (Universität Passau, DE), Marieke Huisman (University of Twente, NL), Vladimir Klebanov (KIT – Karlsruher Institut für Technologie, DE), Rosemary Monahan (NUI Maynooth, IE)

Top

April 21 – 24 , 2014, Dagstuhl Seminar 14172

Unifying Product and Software Configuration


Krzysztof Czarnecki (University of Waterloo, CA), Arnaud Hubaux (ASML – Veldhoven, NL), Ethan Jackson (Microsoft Corporation – Redmond, US), Dietmar Jannach (TU Dortmund, DE), Tomi Männistö (University of Helsinki, FI)

Top

April 27 – May 2 , 2014, Dagstuhl Seminar 14181

Multi-agent systems and their role in future energy grids


Michael N. Huhns (University of South Carolina – Columbia, US), Wolfgang Ketter (Erasmus University – Rotterdam, NL), Ryszard Kowalczyk (Swinburne University of Technology – Melbourne, AU), Fabrice Saffre (BT Research – Ipswich, GB)

Top

April 27 – May 2 , 2014, Dagstuhl Perspectives Workshop 14182

Categorical Methods at the Crossroads


Samson Abramsky (University of Oxford, GB), John C. Baez (University of California – Riverside, US), Fabio Gadducci (University of Pisa, IT), Viktor Winschel (Universität Mannheim, DE)

Top

May 11 – 16 , 2014, Dagstuhl Seminar 14201

Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applications


Kira V. Adaricheva (Yeshiva University – New York, US), Giuseppe F. Italiano (University of Rome "Tor Vergata", IT), Hans Kleine Büning (Universität Paderborn, DE), György Turan (University of Illinois – Chicago, US)

Top

May 12 – 15 , 2014, Dagstuhl Seminar 14202

JA4AI – Judgment Aggregation for Artificial Intelligence


Franz Dietrich (CNRS, FR & University of East Anglia, GB), Ulle Endriss (University of Amsterdam, NL), Davide Grossi (University of Liverpool, GB), Gabriella Pigozzi (University Paris-Dauphine, FR)

Top

May 18 – 23 , 2014, Dagstuhl Seminar 14211

The Future of Refactoring


Danny Dig (Oregon State University, US), William G. Griswold (University of California – San Diego, US), Emerson Murphy-Hill (North Carolina State University – Raleigh, US), Max Schaefer (Semmle Ltd. – Oxford, GB)

Top

May 25 – 30 , 2014, Dagstuhl Seminar 14221

Geometric Modeling


Falai Chen (Univ. of Science & Technology of China – Anhui, CN), Tor Dokken (SINTEF IKT Applied Mathematics – Oslo, NO), Thomas A. Grandine (The Boeing Company – Seattle, US), Stefanie Hahmann (University of Grenoble, FR & INRIA Grenoble, FR & LJK Grenoble, FR)

Top

May 25 – 28 , 2014, Event 14222

Workshop Wissenschaftsjournalismus


Roswitha Bardohl (Schloss Dagstuhl, DE), Gordon Bolduan (Universität des Saarlandes, DE), Tim Schröder (Oldenburg, DE)

Top

June 1 – 6 , 2014, Dagstuhl Seminar 14231

Scientific Visualization


Min Chen (University of Oxford, GB), Charles D. Hansen (University of Utah – Salt Lake City, US), Penny Rheingans (University of Maryland, Baltimore Country, US), Gerik Scheuermann (Universität Leipzig, DE)

Top

June 1 – 6 , 2014, Dagstuhl Seminar 14232

Design and Synthesis from Components


Jakob Rehof (TU Dortmund, DE), Moshe Y. Vardi (Rice University – Houston, US)

Top

June 9 – 13 , 2014, Dagstuhl Seminar 14241

Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy


Roberto Giacobazzi (University of Verona, IT), Axel Simon (TU München, DE), Sarah Zennou (Airbus Group – Suresnes, FR)

Top

June 22 – 27 , 2014, Dagstuhl Seminar 14261

Software Development Analytics


Harald Gall (Universität Zürich, CH), Tim Menzies (West Virginia University – Morgantown, US), Laurie Williams (North Carolina State University – Raleigh, US), Thomas Zimmermann (Microsoft Corporation – Redmond, US)

Top

June 29 – July 4 , 2014, Dagstuhl Seminar 14271

Scripting Languages and Frameworks: Analysis and Verification


Fritz Henglein (University of Copenhagen, DK), Ranjit Jhala (University of California – San Diego, US), Shriram Krishnamurthi (Brown University – Providence, US), Peter Thiemann (Universität Freiburg, DE)

Top

June 29 – July 2 , 2014, Dagstuhl Perspectives Workshop 14272

Exploring Interdisciplinary Grand Challenges in ICT Design to Support Proactive Health and Wellbeing


Elizabeth F. Churchill (eBay Research Labs, US), m.c. schraefel (University of Southampton, GB)

Top

July 6 – 11 , 2014, Dagstuhl Seminar 14281

Feature Interactions: The Next Generation


Sven Apel (Universität Passau, DE), Joanne M. Atlee (University of Waterloo, CA), Luciano Baresi (Polytechnic University of Milan, IT), Pamela Zave (AT&T Labs Research – Bedminster, US)

Top

July 6 – 9 , 2014, Dagstuhl Seminar 14282

Crowdsourcing and the Semantic Web


Abraham Bernstein (Universität Zürich, CH), Jan Marco Leimeister (Universität Kassel, DE & Universität St. Gallen, CH), Natasha Noy (Google Inc. – Mountain View, US), Elena Simperl (University of Southampton, GB)

Top

July 13 – 16 , 2014, Dagstuhl Seminar 14291

Information-Centric Networking 3


Dirk Kutscher (NEC Laboratories Europe – Heidelberg, DE), Taekyoung Kwon (Seoul National University, KR), Ignacio Solis (Xerox PARC – Palo Alto, US)

Top

July 13 – 16 , 2014, Dagstuhl Seminar 14292

Network Attack Detection and Defense: Securing Industrial Control Systems for Critical Infrastructures


Marc C. Dacier (Doha, QA), Frank Kargl (Universität Ulm, DE), Hartmut König (BTU Cottbus, DE), Alfonso Valdes (University of Illinois – Urbana Champaign, US)

Top

July 20 – 25 , 2014, Dagstuhl Seminar 14301

Computational Humanities - bridging the gap between Computer Science and Digital Humanities


Chris Biemann (TU Darmstadt, DE), Gregory R. Crane (Tufts University, US), Christiane D. Fellbaum (Princeton University, US), Alexander Mehler (Goethe-Universität – Frankfurt a. M., DE)

Top

July 20 – 24 , 2014, Dagstuhl Seminar 14302

Digital Palaeography: New Machines and Old Texts


Tal Hassner (The Open University of Israel – Raanana, IL), Robert Sablatnig (TU Wien, AT), Dominique Stutzmann (CNRS – Paris, FR), Ségolène Tarte (University of Oxford, GB)

Top

August 10 – 14 , 2014, Dagstuhl Seminar 14331

Querying and Reasoning Under Expressive Constraints


Michael Benedikt (University of Oxford, GB), Carsten Lutz (Universität Bremen, DE), Balder Ten Cate (University of California – Santa Cruz, US)

Top

August 10 – 14 , 2014, Dagstuhl Seminar 14332

Formal Methods for Coordinating Multi-Agent Systems


Thomas Agotnes (University of Bergen, NO), Nils Bulling (TU Clausthal, DE), Sascha Ossowski (University Rey Juan Carlos, ES)

Top

August 17 – 22 , 2014, Dagstuhl Seminar 14341

Resource-bounded Problem Solving


Yll Haxhimusa (TU Wien, AT), Iris van Rooij (Radboud University Nijmegen, NL), Sashank Varma (University of Minnesota – Minneapolis, US), Todd Wareham (Memorial University of Newfoundland, CA)

Top

August 17 – 22 , 2014, Dagstuhl Seminar 14342

Equilibrium Computation


Nimrod Megiddo (IBM Almaden Center, US), Kurt Mehlhorn (MPI für Informatik – Saarbrücken, DE), Vijay V. Vazirani (Georgia Institute of Technology – Atlanta, US), Mihalis Yannakakis (Columbia University – New York, US)

Top

August 24 – 29 , 2014, Dagstuhl Seminar 14351

Decision Procedures and Abstract Interpretation


Daniel Kroening (University of Oxford, GB), Thomas W. Reps (University of Wisconsin – Madison, US), Sanjit A. Seshia (University of California – Berkeley, US)

Top

August 24 – 29 , 2014, Dagstuhl Seminar 14352

Next Generation Static Software Analysis Tools


Patrick Cousot (ENS – Paris, FR), Klaus Havelund (NASA – Pasadena, US), Daniel Kroening (University of Oxford, GB), Carsten Sinz (KIT – Karlsruher Institut für Technologie, DE)

Top

August 31 – September 5 , 2014, Dagstuhl Seminar 14361

Computational Aspects of Fabrication


Marc Alexa (TU Berlin, DE), Bernd Bickel (Disney Research – Zürich, CH), Sara McMains (University of California – Berkeley, US), Holly E. Rushmeier (Yale University, US)

Top

August 31 – September 5 , 2014, Dagstuhl Seminar 14362

Augmenting Human Memory - Capture and Recall in the Era of Lifelogging


Mark Billinghurst (University of Canterbury – Christchurch, NZ), Nigel Davies (Lancaster University, GB), Marc Langheinrich (University of Lugano, CH), Albrecht Schmidt (Universität Stuttgart, DE)

Top

September 7 – 12 , 2014, Dagstuhl Seminar 14371

Adjoint Methods in Computational Science, Engineering, and Finance


Nicolas R. Gauger (TU Kaiserslautern, DE), Michael Giles (University of Oxford, GB), Max D. Gunzburger (Florida State University, US), Uwe Naumann (RWTH Aachen, DE)

Top

September 7 – 12 , 2014, Dagstuhl Seminar 14372

Analysis of Algorithms Beyond the Worst Case


Maria-Florina Balcan (Carnegie Mellon University, US), Bodo Manthey (University of Twente, NL), Heiko Röglin (Universität Bonn, DE), Tim Roughgarden (Stanford University, US)

Top

September 14 – 19 , 2014, Dagstuhl Seminar 14381

Neural-Symbolic Learning and Reasoning


Artur d'Avila Garcez (City University – London, GB), Marco Gori (University of Siena, IT), Pascal Hitzler (Wright State University – Dayton, US), Luis C. Lamb (Federal University of Rio Grande do Sul, BR)

Top

September 14 – 19 , 2014, GI-Dagstuhl Seminar 14382

Control Theory meets Software Engineering


Antonio Filieri (Universität Stuttgart, DE), Martina Maggio (Lund University, SE)

Top

September 21 – 26 , 2014, Dagstuhl Seminar 14391

Algebra in Computational Complexity


Manindra Agrawal (Indian Institute of Technology – Kanpur, IN), Valentine Kabanets (Simon Fraser University – Burnaby, CA), Thomas Thierauf (Hochschule Aalen, DE), Christopher Umans (CalTech – Pasadena, US)

Top

September 21 – 26 , 2014, Event 14392

Autumn School 2014 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

September 28 – October 2 , 2014, Dagstuhl Perspectives Workshop 14401

Privacy and Security in an Age of Surveillance


Matt Blaze (University of Pennsylvania, US), Bart Preneel (KU Leuven, BE), Phillip Rogaway (University of California – Davis, US), Mark D. Ryan (University of Birmingham, GB), Peter Y. A. Ryan (University of Luxembourg, LU)

Top

September 28 – October 1 , 2014, Dagstuhl Seminar 14402

Resilience in Exascale Computing


Hermann Härtig (TU Dresden, DE), Satoshi Matsuoka (Tokyo Institute of Technology, JP), Frank Mueller (North Carolina State University – Raleigh, US), Alexander Reinefeld (Konrad-Zuse-Zentrum – Berlin, DE)

Top

October 5 – 10 , 2014, Dagstuhl Seminar 14411

Constraints, Optimization and Data


Luc De Raedt (KU Leuven, BE), Barry O'Sullivan (University College Cork, IE), Michele Sebag (University of Paris South XI, FR), Pascal Van Hentenryck (The University of Melbourne, AU)

Top

October 5 – 10 , 2014, Dagstuhl Seminar 14412

Globalizing Domain-Specific Languages


Betty H. C. Cheng (Michigan State University – East Lansing, US), Robert B. France (Colorado State University, US), Jean-Marc Jézéquel (IRISA / CNRS, FR), Bernhard Rumpe (RWTH Aachen, DE)

Top

October 12 – 17 , 2014, Dagstuhl Seminar 14421

Optimal algorithms and proofs


Olaf Beyersdorff (University of Leeds, GB), Edward A. Hirsch (Steklov Institute – St. Petersburg, RU), Jan Krajicek (Charles University – Prague, CZ), Rahul Santhanam (University of Edinburgh, GB)

Top

October 19 – 24 , 2014, GI-Dagstuhl Seminar 14433

Software Engineering for Self-Adaptive Systems


Alessandra Gorla (Universität des Saarlandes, DE), Matthias Tichy (Chalmers UT – Göteborg, SE), Thomas Vogel (Hasso-Plattner-Institut – Potsdam, DE)

Top

October 26 – 31 , 2014, Dagstuhl Seminar 14441

Modeling, Verification, and Control of Complex Systems for Energy Networks


Alessandro Abate (University of Oxford, GB), Martin Fränzle (Universität Oldenburg, DE), Ian Hiskens (University of Michigan – Ann Arbor, US), Martin Strelec (UWB – Pilsen, CZ)

Top

October 27 – 30 , 2014, Dagstuhl Seminar 14442

Symbolic Execution and Constraint Solving


Cristian Cadar (Imperial College London, GB), Vijay Ganesh (University of Waterloo, CA), Koushik Sen (University of California – Berkeley, US)

Top

November 2 – 7 , 2014, Dagstuhl Seminar 14451

Optimality and tight results in parameterized complexity


Stefan Kratsch (TU Berlin, DE), Daniel Lokshtanov (University of Bergen, NO), Dániel Marx (Hungarian Academy of Sciences – Budapest, HU), Peter Rossmanith (RWTH Aachen, DE)

Top

November 2 – 7 , 2014, Dagstuhl Seminar 14452

Algorithmic Cheminformatics


Wolfgang Banzhaf (Memorial University of Newfoundland, CA), Christoph Flamm (Universität Wien, AT), Daniel Merkle (University of Southern Denmark – Odense, DK), Peter F. Stadler (Universität Leipzig, DE)

Top

November 9 – 14 , 2014, Dagstuhl Seminar 14461

High-performance Graph Algorithms and Applications in Computational Science


Ulrich Carsten Meyer (Goethe-Universität – Frankfurt a. M., DE), Henning Meyerhenke (KIT – Karlsruher Institut für Technologie, DE), Ali Pinar (Sandia Nat. Labs – Livermore, US), Ilya Safro (Clemson University, US)

Top

November 9 – 12 , 2014, Dagstuhl Seminar 14462

Systems and Algorithms for Large-scale Graph Analytics


Derek Murray (San Francisco, US), Amitabha Roy (EPFL – Lausanne, CH), Eiko Yoneki (University of Cambridge, GB)

Top

November 16 – 21 , 2014, Dagstuhl Seminar 14471

Towards an Affordable Internet Access for Everyone: The Quest for Enabling Universal Service Commitment


Jon Crowcroft (University of Cambridge, GB), Adam Wolisz (TU Berlin, DE)

Top

November 23 – 28 , 2014, Dagstuhl Seminar 14481

Multiscale Spatial Computational Systems Biology


David Gilbert (Brunel University – London, GB), Monika Heiner (BTU Cottbus, DE), Koichi Takahashi (Osaka University, JP), Adelinde M. Uhrmacher (Universität Rostock, DE)

Top

November 23 – 28 , 2014, Dagstuhl Seminar 14482

Automated Planning and Model Checking


Alessandro Cimatti (Bruno Kessler Foundation – Trento, IT), Stefan Edelkamp (Universität Bremen, DE), Maria Fox (King's College London, GB), Erion Plaku (CUA – Washington, US)

Top

November 30 – December 5 , 2014, Dagstuhl Seminar 14491

Socio-Technical Security Metrics


Dieter Gollmann (TU Hamburg-Harburg, DE), Cormac Herley (Microsoft Corporation – Redmond, US), Wolter Pieters (TU Delft, NL & University of Twente, NL), Martina Angela Sasse (University College London, GB)

Top

November 30 – December 5 , 2014, Dagstuhl Seminar 14492

The synergy between programming languages and cryptography


Gilles Barthe (IMDEA Software – Madrid, ES), Michael Hicks (University of Maryland – College Park, US), Florian Kerschbaum (SAP SE – Karlsruhe, DE), Dominique Unruh (University of Tartu, EE)

Top

December 7 – 10 , 2014, GI-Dagstuhl Seminar 14502

Informatik@Schule - Agenda für informatische Bildung in der Schule


Rainer Gemulla (Universität Mannheim, DE), Wim Martens (Universität Bayreuth, DE), Johannes Schöning (Hasselt University – Diepenbeek, BE), Carsten Schulte (FU Berlin, DE)

Top

December 10 – 12 , 2014, Event 14503

Lehrerfortbildung in Informatik


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

Top

December 14 – 19 , 2014, Dagstuhl Seminar 14511

Programming Languages for Big Data (PlanBig)


James Cheney (University of Edinburgh, GB), Torsten Grust (Universität Tübingen, DE), Dimitrios Vytiniotis (Microsoft Research UK – Cambridge, GB)

Top

December 14 – 19 , 2014, Dagstuhl Seminar 14512

Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis


Jane Hillston (University of Edinburgh, GB), Jeremy Pitt (Imperial College London, GB), Martin Wirsing (LMU München, DE), Franco Zambonelli (University of Modena, IT)

Top