Seminars and Dagstuhl Perspectives Workshops 2016:
January 4 – 8 , 2016, Dagstuhl Seminar 16011Evolution and ComputingNick Barton (IST Austria – Klosterneuburg, AT), Bernard Chazelle (Princeton University, US), Per Kristian Lehre (University of Nottingham, GB), Nisheeth K. Vishnoi (EPFL Lausanne, CH) | Top |
January 4 – 7 , 2016, Dagstuhl Seminar 16012Global Measurements: Practice and ExperienceArthur W. Berger (Akamai Technologies – Cambridge, US), Philip Eardley (British Telecom R&D – Ipswich, GB), Jörg Ott (TU München, DE), Jürgen Schönwälder (Jacobs Universität – Bremen, DE) | Top |
January 10 – 15 , 2016, Dagstuhl Seminar 16021Symmetric CryptographyFrederik Armknecht (Universität Mannheim, DE), Tetsu Iwata (Nagoya University, JP), Kaisa Nyberg (Aalto University, FI), Bart Preneel (KU Leuven, BE) | Top |
January 10 – 15 , 2016, Dagstuhl Seminar 16022Geometric and Graph-based Approaches to Collective MotionGiuseppe F. Italiano (University of Rome "Tor Vergata", IT), Bettina Speckmann (TU Eindhoven, NL), Guy Theraulaz (Université Paul Sabatier – Toulouse, FR), Marc van Kreveld (Utrecht University, NL) | Top |
January 17 – 22 , 2016, Dagstuhl Seminar 16031Well Quasi-Orders in Computer ScienceJean Goubault-Larrecq (ENS – Cachan, FR), Monika Seisenberger (Swansea University, GB), Victor Selivanov (A. P. Ershov Institute – Novosibirsk, RU), Andreas Weiermann (Ghent University, BE) | Top |
January 17 – 20 , 2016, Dagstuhl Seminar 16032Privacy and Security in Smart Energy GridsGeorge Danezis (University College London, GB), Stefan Katzenbeisser (TU Darmstadt, DE), Christiane Peters (IBM Belgium, BE), Bart Preneel (KU Leuven, BE) | Top |
January 24 – 29 , 2016, Dagstuhl Seminar 16041Reproducibility of Data-Oriented Experiments in e-ScienceJuliana Freire (New York University, US), Norbert Fuhr (Universität Duisburg-Essen, DE), Andreas Rauber (TU Wien, AT) | Top |
January 24 – 29 , 2016, Dagstuhl Seminar 16042Eyewear Computing – Augmenting the Human with Head-mounted Wearable AssistantsAndreas Bulling (MPI für Informatik – Saarbrücken, DE), Ozan Cakmakci (Google Inc. – Mountain View, US), Kai Kunze (Keio University – Yokohama, JP), James M. Rehg (Georgia Institute of Technology – Atlanta, US) | Top |
January 31 – February 5 , 2016, Dagstuhl Seminar 16051Modern Cryptography and Security: An Inter-Community DialogueKristin Lauter (Microsoft Research – Redmond, US), Ahmad-Reza Sadeghi (TU Darmstadt, DE), Radu Sion (National Security Institute – Stony Brook, US), Nigel P. Smart (University of Bristol, GB) | Top |
January 31 – February 3 , 2016, Dagstuhl Seminar 16052Dark Silicon: From Embedded to HPC SystemsMichael Gerndt (TU München, DE), Sri Parameswaran (UNSW – Sydney, AU), Barry L. Rountree (LLNL – Livermore, US) | Top |
February 7 – 12 , 2016, Dagstuhl Seminar 16061Data-Driven StorytellingSheelagh Carpendale (University of Calgary, CA), Nicholas Diakopoulos (University of Maryland – College Park, US), Nathalie Henry Riche (Microsoft Research – Redmond, US), Christophe Hurter (ENAC – Toulouse, FR) | Top |
February 7 – 12 , 2016, Dagstuhl Seminar 16062Modeling and Analysis of Semiconductor Supply ChainsChen-Fu Chien (National Tsing Hua University, TW), Hans Ehm (Infineon Technologies – München, DE), John Fowler (Arizona State University – Tempe, US), Lars Mönch (FernUniversität in Hagen, DE) | Top |
February 14 – 19 , 2016, Dagstuhl Seminar 16071Pattern Avoidance and Genome SortingMichael Albert (University of Otago, NZ), Miklós Bóna (University of Florida – Gainesville, US), István Miklós (Alfréd Rényi Institute of Mathematics – Budapest, HU), Einar Steingrimsson (University of Strathclyde, GB) | Top |
February 14 – 19 , 2016, Dagstuhl Seminar 16072Assessing Learning In Introductory Computer ScienceMichael E. Caspersen (Aarhus University, DK), Kathi Fisler (Worcester Polytechnic Institute, US), Jan Vahrenhold (Universität Münster, DE) | Top |
February 21 – 26 , 2016, Dagstuhl Seminar 16081SchedulingNikhil Bansal (TU Eindhoven, NL), Nicole Megow (TU München, DE), Clifford Stein (Columbia University, US) | Top |
February 28 – March 4 , 2016, Dagstuhl Seminar 16091Computational Challenges in Cooperative Intelligent Urban TransportCaitlin Doyle Cottrill (University of Aberdeen, GB), Jan Fabian Ehmke (FU Berlin, DE), Franziska Klügl (University of Örebro, SE), Sabine Timpf (Universität Augsburg, DE) | Top |
February 28 – March 4 , 2016, Dagstuhl Seminar 16092Computational Music Structure AnalysisJuan Pablo Bello (New York University, US), Elaine Chew (Queen Mary University of London, GB), Meinard Müller (Universität Erlangen-Nürnberg, DE) | Top |
March 6 – 11 , 2016, Dagstuhl Seminar 16101Data Structures and Advanced Models of Computation on Big DataAlejandro Lopez-Ortiz (University of Waterloo, CA), Ulrich Carsten Meyer (Goethe-Universität – Frankfurt a. M., DE), Markus E. Nebel (TU Kaiserslautern, DE), Robert Sedgewick (Princeton University, US) | Top |
March 13 – 18 , 2016, Dagstuhl Seminar 16111Rethinking Experimental Methods in ComputingDaniel Delling (Apple Inc. – Cupertino, US), Camil Demetrescu (Sapienza University of Rome, IT), David S. Johnson (US), Jan Vitek (Northeastern University – Boston, US) | Top |
March 13 – 18 , 2016, Dagstuhl Seminar 16112From Theory to Practice of Algebraic Effects and HandlersAndrej Bauer (University of Ljubljana, SI), Martin Hofmann (LMU München, DE), Matija Pretnar (University of Ljubljana, SI), Jeremy Yallop (University of Cambridge, GB) | Top |
March 28 – April 1 , 2016, Dagstuhl Seminar 16131Language Based Verification Tools for Functional ProgramsMarco Gaboardi (SUNY – Buffalo, US), Suresh Jagannathan (Purdue University – West Lafayette, US), Ranjit Jhala (University of California – San Diego, US), Stephanie Weirich (University of Pennsylvania – Philadelphia, US) | Top |
April 3 – 8 , 2016, Dagstuhl Seminar 16141Analysis, Interpretation and Benefit of User-Generated Data: Computer Science Meets Communication StudiesThorsten Quandt (Universität Münster, DE), German Shegalov (Twitter – San Francisco, US), Helle Sjøvaag (University of Bergen, NO), Gottfried Vossen (Universität Münster, DE) | Top |
April 3 – 8 , 2016, Dagstuhl Seminar 16142Multidisciplinary Approaches to Multivalued Data: Modeling, Visualization, AnalysisIngrid Hotz (Linköping University, SE), Evren Özarslan (Linköping University, SE), Thomas Schultz (Universität Bonn, DE) | Top |
April 10 – 15 , 2016, Dagstuhl Perspectives Workshop 16151Foundations of Data ManagementMarcelo Arenas (Pontificia Universidad Catolica de Chile, CL), Richard Hull (IBM TJ Watson Research Center – Yorktown Heights, US), Wim Martens (Universität Bayreuth, DE), Tova Milo (Tel Aviv University, IL), Thomas Schwentick (TU Dortmund, DE) | Top |
April 10 – 13 , 2016, Dagstuhl Perspectives Workshop 16152Tensor Computing for Internet of ThingsEvrim Acar (University of Copenhagen, DK), Animashree Anandkumar (University of California – Irvine, US), Lenore Mullin (University of Albany – SUNY, US), Volker Tresp (Siemens AG – München, DE) | Top |
April 17 – 22 , 2016, Dagstuhl Seminar 16161Natural Language Argumentation: Mining, Processing, and Reasoning over Textual ArgumentsElena Cabrio (Laboratoire I3S – Sophia Antipolis, FR), Graeme Hirst (University of Toronto, CA), Serena Villata (Laboratoire I3S – Sophia Antipolis, FR), Adam Wyner (University of Aberdeen, GB) | Top |
April 17 – 22 , 2016, Dagstuhl Seminar 16162Managing Technical Debt in Software EngineeringParis Avgeriou (University of Groningen, NL), Philippe Kruchten (University of British Columbia – Vancouver, CA), Ipek Ozkaya (Carnegie Mellon University – Pittsburgh, US), Carolyn Seaman (University of Maryland, Baltimore County, US) | Top |
April 24 – 29 , 2016, Dagstuhl Seminar 16171Algorithmic Methods for Optimization in Public TransportLeo G. Kroon (Erasmus University – Rotterdam, NL), Anita Schöbel (Universität Göttingen, DE), Dorothea Wagner (KIT – Karlsruher Institut für Technologie, DE) | Top |
April 24 – 27 , 2016, Dagstuhl Seminar 16172Machine Learning for Dynamic Software Analysis: Potentials and LimitsAmel Bennaceur (The Open University – Milton Keynes, GB), Dimitra Giannakopoulou (NASA – Moffett Field, US), Reiner Hähnle (TU Darmstadt, DE), Karl Meinke (KTH Royal Institute of Technology – Stockholm, SE) | Top |
May 8 – 13 , 2016, Dagstuhl Seminar 16191Fresh Approaches to Business Process ModelingRichard Hull (IBM TJ Watson Research Center – Yorktown Heights, US), Agnes Koschmider (KIT – Karlsruher Institut für Technologie, DE), Hajo A. Reijers (VU University Amsterdam, NL), William Wong (Middlesex University, GB) | Top |
May 8 – 13 , 2016, Dagstuhl Seminar 16192Supporting Organizational Efficiency and Agility: Models, Languages and Software SystemsTony Clark (Sheffield Hallam University, GB), Ulrich Frank (Universität Duisburg-Essen, DE), Vinay Kulkarni (Tata Consultancy Services – Pune, IN) | Top |
May 16 – 20 , 2016, Dagstuhl Seminar 16201Synergies among Testing, Verification, and Repair for Concurrent ProgramsJulian Dolby (IBM TJ Watson Research Center – Yorktown Heights, US), Orna Grumberg (Technion – Haifa, IL), Peter Müller (ETH Zürich, CH), Omer Tripp (IBM TJ Watson Research Center – Yorktown Heights, US) | Top |
May 16 – 20 , 2016, Dagstuhl Seminar 16202Hardware SecurityOsnat Keren (Bar-Ilan University, IL), Ilia Polian (Universität Passau, DE), Mark M. Tehranipoor (University of Florida – Gainesville, US), Pim Tuyls (Intrinsic-ID – Mol, BE) | Top |
May 29 – June 3 , 2016, Dagstuhl Seminar 16221Algorithms for Optimization Problems in Planar GraphsJeff Erickson (University of Illinois – Urbana-Champaign, US), Philip N. Klein (Brown University – Providence, US), Dániel Marx (Hungarian Academy of Sciences – Budapest, HU), Claire Mathieu (ENS – Paris, FR) | Top |
May 29 – June 3 , 2016, Dagstuhl Seminar 16222Engineering Moral Agents - from Human Morality to Artificial MoralityMichael Fisher (University of Liverpool, GB), Christian List (London School of Economics, GB), Alan FT Winfield (University of the West of England – Bristol, GB) | Top |
June 5 – 10 , 2016, Dagstuhl Seminar 16231Immersive AnalyticsTim Dwyer (Monash University – Caulfield, AU), Nathalie Henry Riche (Microsoft Research – Redmond, US), Wolfgang Stuerzlinger (Simon Fraser University – Vancouver, CA), Bruce Thomas (University of South Australia – Mawson Lakes, AU) | Top |
June 5 – 10 , 2016, Dagstuhl Seminar 16232Fair DivisionYonatan Aumann (Bar-Ilan University – Ramat Gan, IL), Steven J. Brams (New York University, US), Jérôme Lang (University Paris-Dauphine, FR), Ariel Procaccia (Carnegie Mellon University – Pittsburgh, US) | Top |
June 12 – 17 , 2016, Dagstuhl Seminar 16241Graph Polynomials: Towards a Comparative TheoryJo Ellis-Monaghan (Saint Michael's College – Colchester, US), Andrew Goodall (Charles University – Prague, CZ), Johann A. Makowsky (Technion – Haifa, IL), Iain Moffatt (Royal Holloway University of London, GB) | Top |
June 19 – 22 , 2016, Dagstuhl Seminar 16251Information-centric Networking and SecurityEdith Ngai (Uppsala University, SE), Börje Ohlman (Ericsson Research – Stockholm, SE), Gene Tsudik (University of California – Irvine, US), Ersin Uzun (Xerox PARC – Palo Alto, US) | Top |
June 19 – 24 , 2016, Dagstuhl Perspectives Workshop 16252Engineering Academic SoftwareCarole Goble (University of Manchester, GB), James Howison (University of Texas – Austin, US), Claude Kirchner (INRIA – Le Chesnay, FR), Oscar M. Nierstrasz (Universität Bern, CH) | Top |
June 26 – July 1 , 2016, Dagstuhl Seminar 16261Integration of Expert Knowledge for Interpretable Models in Biomedical Data AnalysisGyan Bhanot (Rutgers University – Piscataway, US), Michael Biehl (University of Groningen, NL), Thomas Villmann (Hochschule Mittweida, DE), Dietlind Zühlke (Seven Principles AG – Köln, DE) | Top |
June 26 – July 1 , 2016, Dagstuhl Seminar 16262Automotive User Interfaces in the Age of AutomationSusanne Boll (Universität Oldenburg, DE), Andrew Kun (University of New Hampshire – Durham, US), Andreas Riener (TH Ingolstadt, DE) | Top |
July 3 – 8 , 2016, Dagstuhl Seminar 16271Algorithmic Foundations of Programmable MatterSándor Fekete (TU Braunschweig, DE), Andréa Richa (Arizona State University – Tempe, US), Kay Römer (TU Graz, AT), Christian Scheideler (Universität Paderborn, DE) | Top |
July 10 – 13 , 2016, Dagstuhl Seminar 16281Network Latency Control in Data CentresMohammad Alizadeh Attar (MIT – Cambridge, US), Jon Crowcroft (University of Cambridge, GB), Lars Eggert (NetApp Deutschland GmbH – Kirchheim, DE), Klaus Wehrle (RWTH Aachen, DE) | Top |
July 10 – 15 , 2016, Dagstuhl Seminar 16282Topological Methods in Distributed ComputingDmitry Feichtner-Kozlov (Universität Bremen, DE) | Top |
July 17 – 22 , 2016, Dagstuhl Seminar 16291Data, ResponsiblySerge Abiteboul (ENS – Cachan, FR), Gerome Miklau (University of Massachusetts – Amherst, US), Julia Stoyanovich (Drexel Univ. – Philadelphia, US), Gerhard Weikum (MPI für Informatik – Saarbrücken, DE) | Top |
August 7 – 12 , 2016, Dagstuhl Seminar 16321Coding Theory in the Time of Big DataMartin Bossert (Universität Ulm, DE), Eimear Byrne (University College Dublin, IE), Emina Soljanin (Rutgers University – Piscataway, US) | Top |
August 21 – 26 , 2016, Dagstuhl Seminar 16341Integrating Process-Oriented and Event-Based SystemsDavid Eyers (University of Otago, NZ), Avigdor Gal (Technion – Haifa, IL), Hans-Arno Jacobsen (TU München, DE), Matthias Weidlich (HU Berlin, DE) | Top |
August 21 – 26 , 2016, Dagstuhl Seminar 16342Foundations of Secure ScalingLejla Batina (Radboud University Nijmegen, NL), Swarup Bhunia (University of Florida – Gainesville, US), Patrick Schaumont (Virginia Polytechnic Institute – Blacksburg, US), Jean-Pierre Seifert (TU Berlin, DE) | Top |
August 28 – September 2 , 2016, Dagstuhl Seminar 16351Next Generation Sequencing - Algorithms, and Software For Biomedical ApplicationsGene Myers (MPI – Dresden, DE), Mihai Pop (University of Maryland – College Park, US), Knut Reinert (FU Berlin, DE), Tandy Warnow (University of Illinois – Urbana-Champaign, US) | Top |
September 4 – 9 , 2016, Dagstuhl Seminar 16361Network Attack Detection and Defense - Security Challenges and Opportunities of Software-Defined NetworkingMarc C. Dacier (QCRI – Doha, QA), Sven Dietrich (City University of New York, US), Frank Kargl (Universität Ulm, DE), Hartmut König (BTU Cottbus, DE) | Top |
September 4 – 9 , 2016, Dagstuhl Seminar 16362Robustness in Cyber-Physical SystemsMartin Fränzle (Universität Oldenburg, DE), James Kapinski (Toyota Technical Center – Gardena, US), Pavithra Prabhakar (Kansas State University – Manhattan, US) | Top |
September 11 – 16 , 2016, Dagstuhl Seminar 16371Public-Key CryptographyMarc Fischlin (TU Darmstadt, DE), Alexander May (Ruhr-Universität Bochum, DE), David Pointcheval (ENS – Paris, FR), Tal Rabin (IBM TJ Watson Research Center – Yorktown Heights, US) | Top |
September 11 – 16 , 2016, Dagstuhl Seminar 16372Uncertainty Quantification and High Performance ComputingVincent Heuveline (HITS & Universität Heidelberg), Michael Schick (Robert Bosch GmbH – Stuttgart, DE), Clayton Webster (Oak Ridge National Laboratory, US) | Top |
September 18 – 23 , 2016, Dagstuhl Seminar 16381SAT and InteractionsOlaf Beyersdorff (University of Leeds, GB), Nadia Creignou (Aix-Marseille University, FR), Uwe Egly (TU Wien, AT), Heribert Vollmer (Leibniz Universität Hannover, DE) | Top |
September 18 – 23 , 2016, Dagstuhl Seminar 16382Foundations of Unsupervised LearningMaria-Florina Balcan (Carnegie Mellon University – Pittsburgh, US), Shai Ben-David (University of Waterloo, CA), Ruth Urner (MPI für Intelligente Systeme – Tübingen, DE), Ulrike von Luxburg (Universität Tübingen, DE) | Top |
October 3 – 7 , 2016, Dagstuhl Seminar 16402Programming Language Techniques for Incremental and Reactive ComputingCamil Demetrescu (Sapienza University of Rome, IT), Sebastian Erdweg (TU Delft, NL), Matthew A. Hammer (University of Colorado – Boulder, US), Shriram Krishnamurthi (Brown University – Providence, US) | Top |
October 9 – 14 , 2016, Dagstuhl Seminar 16411Algebraic Methods in Computational ComplexityValentine Kabanets (Simon Fraser University – Burnaby, CA), Thomas Thierauf (Hochschule Aalen, DE), Jacobo Torán (Universität Ulm, DE), Christopher Umans (CalTech – Pasadena, US) | Top |
October 9 – 14 , 2016, Dagstuhl Seminar 16412Automated Algorithm Selection and ConfigurationHolger H. Hoos (University of British Columbia – Vancouver, CA), Frank Neumann (University of Adelaide, AU), Heike Trautmann (Universität Münster, DE) | Top |
October 16 – 21 , 2016, Dagstuhl Seminar 16421Universality of ProofsGilles Dowek (INRIA & ENS Cachan, FR), Catherine Dubois (ENSIIE – Evry, FR), Brigitte Pientka (McGill University – Montreal, CA), Florian Rabe (Jacobs University Bremen, DE) | Top |
October 23 – 28 , 2016, Dagstuhl Seminar 16431Computation over Compressed Structured DataPhilip Bille (Technical University of Denmark – Lyngby, DK), Markus Lohrey (Universität Siegen, DE), Sebastian Maneth (University of Edinburgh, GB), Gonzalo Navarro (University of Chile – Santiago de Chile, CL) | Top |
October 30 – November 4 , 2016, Dagstuhl Seminar 16441Adaptive Isolation for Predictability and SecurityTulika Mitra (National University of Singapore, SG), Jürgen Teich (Universität Erlangen-Nürnberg, DE), Lothar Thiele (ETH Zürich, CH), Ingrid Verbauwhede (KU Leuven, BE) | Top |
October 30 – November 4 , 2016, Dagstuhl Seminar 16442Vocal Interactivity in-and-between Humans, Animals and Robots (VIHAR)Roger K. Moore (University of Sheffield, GB), Serge Thill (University of Skövde, SE), Clémentine Vignal (Université Jean Monnet – Saint-Étienne, FR) | Top |
November 6 – 11 , 2016, Dagstuhl Seminar 16451Structure and Hardness in PMoshe Lewenstein (Bar-Ilan University – Ramat Gan, IL), Seth Pettie (University of Michigan – Ann Arbor, US), Virginia Vassilevska Williams (Stanford University, US) | Top |
November 6 – 11 , 2016, Dagstuhl Seminar 16452Beyond-Planar Graphs: Algorithmics and CombinatoricsSeok-Hee Hong (The University of Sydney, AU), Michael Kaufmann (Universität Tübingen, DE), Stephen G. Kobourov (University of Arizona – Tucson, US), János Pach (EPFL – Lausanne, CH) | Top |
November 13 – 18 , 2016, Dagstuhl Seminar 16461Assessing ICT Security Risks in Socio-Technical SystemsTyler W. Moore (University of Tulsa, US), Christian W. Probst (Technical University of Denmark – Lyngby, DK), Kai Rannenberg (Goethe-Universität Frankfurt am Main, DE), Michel van Eeten (TU Delft, NL) | Top |
November 13 – 18 , 2016, Dagstuhl Seminar 16462Inpainting-Based Image CompressionChristine Guillemot (INRIA – Rennes, FR), Gerlind Plonka-Hoch (Universität Göttingen, DE), Thomas Pock (TU Graz, AT), Joachim Weickert (Universität des Saarlandes, DE) | Top |
November 20 – 25 , 2016, Dagstuhl Seminar 16471Concurrency with Weak Memory Models: Semantics, Languages, Compilation, Verification, Static Analysis, and SynthesisJade Alglave (University College London, GB), Patrick Cousot (New York University, US) | Top |
November 20 – 25 , 2016, Dagstuhl Perspectives Workshop 16472QoE Vadis?Markus Fiedler (Blekinge Institute of Technology – Karlskrona, SE), Sebastian Möller (TU Berlin, DE), Peter Reichl (Universität Wien, AT), Min Xie (Telenor Research – Trondheim, NO) | Top |
November 27 – December 2 , 2016, Dagstuhl Seminar 16481New Directions for Learning with Kernels and Gaussian ProcessesArthur Gretton (University College London, GB), Philipp Hennig (MPI für Intelligente Systeme – Tübingen, DE), Carl Edward Rasmussen (University of Cambridge, GB), Bernhard Schölkopf (MPI für Intelligente Systeme – Tübingen, DE) | Top |
November 27 – December 2 , 2016, Dagstuhl Seminar 16482Algorithms and Effectivity in Tropical Mathematics and BeyondStéphane Gaubert (INRIA Saclay – Île-de-France, FR), Dimitry Grigoriev (Lille I University, FR), Michael Joswig (TU Berlin, DE), Thorsten Theobald (Goethe-Universität Frankfurt am Main, DE) | Top |
December 4 – 9 , 2016, Dagstuhl Seminar 16491Symbolic-Numeric Methods for Reliable and Trustworthy Problem Solving in Cyber-Physical DomainsSergiy Bogomolov (Australian National University – Canberra, AU), Martin Fränzle (Universität Oldenburg, DE), Kyoko Makino (Michigan State University – East Lansing, US), Nacim Ramdani (University of Orléans, FR) | Top |