Seminars and Dagstuhl Perspectives Workshops 2019:
January 6 – 11 , 2019, Dagstuhl Seminar 19021Joint Processing of Language and Visual Data for Better Automated UnderstandingYun Fu (Northeastern University – Boston, US), Marie-Francine Moens (KU Leuven, BE), Lucia Specia (University of Sheffield, GB), Tinne Tuytelaars (KU Leuven, BE) | Top |
January 13 – 18 , 2019, Dagstuhl Seminar 19031Logics for Dependence and IndependenceErich Grädel (RWTH Aachen, DE), Phokion G. Kolaitis (University of California – Santa Cruz, US), Juha Kontinen (University of Helsinki, FI), Heribert Vollmer (Leibniz Universität Hannover, DE) | Top |
January 13 – 16 , 2019, Dagstuhl Seminar 19032Conditional Logics and Conditional Reasoning: New Joint PerspectivesGuillaume Aucher (University of Rennes 1 & IRISA Rennes, FR), Paul Egré (ENS – Paris, FR), Gabriele Kern-Isberner (TU Dortmund, DE), Francesca Poggiolesi (CNRS – Paris, FR) | Top |
January 20 – 25 , 2019, Dagstuhl Seminar 19041New Horizons in Parameterized ComplexityFedor V. Fomin (University of Bergen, NO), Dániel Marx (Hungarian Academy of Sciences – Budapest, HU), Saket Saurabh (Institute of Mathematical Sciences – Chennai, IN), Meirav Zehavi (Ben Gurion University – Beer Sheva, IL) | Top |
January 20 – 25 , 2019, Dagstuhl Seminar 19042Practical Yet Composably Secure Cryptographic ProtocolsJan Camenisch (IBM Research-Zurich, CH), Ralf Küsters (Universität Stuttgart, DE), Anna Lysyanskaya (Brown University – Providence, US), Alessandra Scafuro (North Carolina State University – Raleigh, US) | Top |
January 27 – February 1 , 2019, Dagstuhl Seminar 19051Data Structures for the Cloud and External Memory DataGerth Stølting Brodal (Aarhus University, DK), Ulrich Carsten Meyer (Goethe-Universität – Frankfurt a. M., DE), Markus E. Nebel (Universität Bielefeld, DE), Robert Sedgewick (Princeton University, US) | Top |
January 27 – February 1 , 2019, Dagstuhl Seminar 19052Computational Methods for Melody and Voice Processing in Music RecordingsEmilia Gómez (UPF – Barcelona, ES), Meinard Müller (Universität Erlangen-Nürnberg, DE), Yi-Hsuan Yang (Academica Sinica – Taipei, TW) | Top |
February 3 – 8 , 2019, Dagstuhl Seminar 19061Visual Analytics of Multilayer Networks Across DisciplinesNathalie Henry Riche (Microsoft Research – Redmond, US), Mikko Kivelä (Aalto University, FI), Fintan McGee (Luxembourg Inst. of Science & Technology, LU), Guy Melançon (University of Bordeaux, FR), Tatiana von Landesberger (TU Darmstadt, DE) | Top |
February 3 – 6 , 2019, Dagstuhl Seminar 19062Bringing CP, SAT and SMT together: Next Challenges in Constraint SolvingSébastien Bardin (CEA LIST, FR), Nikolaj S. Bjorner (Microsoft Research – Redmond, US), Cristian Cadar (Imperial College London, GB), Vijay Ganesh (University of Waterloo, CA) | Top |
February 10 – 15 , 2019, Dagstuhl Seminar 19071Specification Formalisms for Modern Cyber-Physical SystemsJyotirmoy Deshmukh (USC – Los Angeles, US), Oded Maler (VERIMAG – Grenoble, FR), Dejan Nickovic (AIT Austrian Institute of Technology – Wien, AT) | Top |
February 10 – 15 , 2019, Dagstuhl Perspectives Workshop 19072The Role of Non-monontonic Reasoning in Future Development of Artificial IntelligenceAnthony Hunter (University College London, GB), Gabriele Kern-Isberner (TU Dortmund, DE), Thomas Meyer (University of Cape Town, ZA), Renata Wassermann (University of Sao Paulo, BR) | Top |
February 17 – 22 , 2019, Dagstuhl Seminar 19081Verification and Synthesis of Human-Robot InteractionRachid Alami (LAAS – Toulouse, FR), Kerstin I. Eder (University of Bristol, GB), Guy Hoffman (Cornell University – Ithaca, US), Hadas Kress-Gazit (Cornell University – Ithaca, US) | Top |
March 3 – 8 , 2019, Dagstuhl Seminar 19101Analysis, Design, and Control of Predictable Interconnected SystemsKunal Agrawal (Washington University – St. Louis, US), Enrico Bini (University of Turin, IT), Jens Schmitt (TU Kaiserslautern, DE), Giovanni Stea (University of Pisa, IT) | Top |
March 10 – 15 , 2019, Dagstuhl Seminar 19111Theoretical Foundations of Storage SystemsMartin Farach-Colton (Rutgers University – Piscataway, US), Inge Li Gørtz (Technical University of Denmark – Lyngby, DK), Rob Johnson (VMware – Palo Alto, US), Donald E. Porter (University of North Carolina at Chapel Hill, US) | Top |
March 17 – 22 , 2019, Dagstuhl Seminar 19121Computational Complexity of Discrete ProblemsAnna Gál (University of Texas – Austin, US), Oded Regev (New York University, US), Rahul Santhanam (University of Oxford, GB), Till Tantau (Universität zu Lübeck, DE) | Top |
March 24 – 29 , 2019, Dagstuhl Seminar 19131Algorithmic Problems in Group TheoryVolker Diekert (Universität Stuttgart, DE), Olga Kharlampovic (The City University of New York, US), Markus Lohrey (Universität Siegen, DE), Alexei Myasnikov (Stevens Institute of Technology, US) | Top |
March 24 – 29 , 2019, Dagstuhl Seminar 19132Users and automated driving systems: How will we interact with tomorrow's vehicles?Susanne Boll (Universität Oldenburg, DE), Andrew Kun (University of New Hampshire – Durham, US), Andreas Riener (TH Ingolstadt, DE), C. Y. David Yang (AAA Foundation for Trafic Safety – Washington, US) | Top |
March 31 – April 5 , 2019, Dagstuhl Seminar 19141Programmable Network Data PlanesGianni Antichi (University of Cambridge, GB), Theophilus Benson (Brown University – Providence, US), Nate Foster (Cornell University – Ithaca, US), Fernando M. V. Ramos (University of Lisbon, PT), Justine Sherry (Carnegie Mellon University – Pittsburgh, US) | Top |
April 7 – 12 , 2019, Dagstuhl Seminar 19151Visual Computing in Materials SciencesChristoph Heinzl (FH Oberösterreich – Wels, AT), Robert Michael Kirby (University of Utah – Salt Lake City, US), Stepan V. Lomov (KU Leuven, BE), Guillermo Requena (DLR – Köln, DE), Rüdiger Westermann (TU München, DE) | Top |
April 22 – 26 , 2019, Dagstuhl Seminar 19171Ethics and Trust: Principles, Verification and ValidationMichael Fisher (University of Liverpool, GB), Christian List (London School of Economics, GB), Marija Slavkovik (University of Bergen, NO), Astrid Weiss (TU Wien, AT) | Top |
April 28 – May 3 , 2019, Dagstuhl Seminar 19181Computational GeometrySiu-Wing Cheng (HKUST – Kowloon, HK), Anne Driemel (TU Eindhoven, NL), Jeff Erickson (University of Illinois – Urbana-Champaign, US) | Top |
May 5 – 10 , 2019, Dagstuhl Seminar 19191Software Evolution in Time and Space: Unifying Version and Variability ManagementThorsten Berger (Chalmers and University of Gothenburg, SE), Marsha Chechik (University of Toronto, CA), Timo Kehrer (HU Berlin, DE), Manuel Wimmer (TU Wien, AT) | Top |
May 19 – 24 , 2019, Dagstuhl Seminar 19211Enumeration in Data ManagementEndre Boros (Rutgers University – Piscataway, US), Benny Kimelfeld (Technion – Haifa, IL), Reinhard Pichler (TU Wien, AT), Nicole Schweikardt (HU Berlin, DE) | Top |
May 19 – 24 , 2019, Dagstuhl Seminar 19212Topology, Computation and Data AnalysisMichael Kerber (TU Graz, AT), Vijay Natarajan (Indian Institute of Science – Bangalore, IN), Bei Wang (University of Utah – Salt Lake City, US) | Top |
June 2 – 7 , 2019, Dagstuhl Seminar 19231Empirical Evaluation of Secure Development ProcessesAdam Shostack (Seattle, US), Matthew Smith (Universität Bonn and Fraunhofer FKIE, DE), Sam Weber (New York University, US), Mary Ellen Zurko (MIT Lincoln Laboratory – Lexington, US) | Top |
June 10 – 14 , 2019, Dagstuhl Seminar 1924125 Years of the Burrows-Wheeler TransformTravis Gagie (Universidad Diego Portales, CL), Giovanni Manzini (University of Eastern Piedmont – Alessandria, IT), Gonzalo Navarro (University of Chile – Santiago de Chile, CL), Jens Stoye (Universität Bielefeld, DE) | Top |
June 23 – 28 , 2019, Dagstuhl Seminar 19261Distributed Computing with Permissioned Blockchains and DatabasesC. Mohan (IBM Almaden Center – San Jose, US), Beng Chin Ooi (National University of Singapore, SG), Andreas Reuter (Heidelberg Laureate Forum Foundation, DE), Gottfried Vossen (Universität Münster, DE) | Top |
June 30 – July 5 , 2019, Dagstuhl Seminar 19271Graph Colouring: from Structure to AlgorithmsMaria Chudnovsky (Princeton University, US), Daniel Paulusma (Durham University, GB), Oliver Schaudt (RWTH Aachen, DE) | Top |
July 7 – 12 , 2019, Dagstuhl Seminar 19281Notional Machines and Programming Language Semantics in EducationMark Guzdial (Georgia Institute of Technology – Atlanta, US), Shriram Krishnamurthi (Brown University – Providence, US), Juha Sorva (Aalto University, FI), Jan Vahrenhold (Universität Münster, DE) | Top |
July 14 – 19 , 2019, Dagstuhl Seminar 19291Values in ComputingChristoph Becker (University of Toronto, CA), Gregor Engels (Universität Paderborn, DE), Andrew Feenberg (Simon Fraser University – Burnaby, CA), Maria Angela Ferrario (Lancaster University, GB), Geraldine Fitzpatrick (TU Wien, AT) | Top |
July 21 – 26 , 2019, Dagstuhl Seminar 19301Secure Composition for Hardware SystemsArora Divya (Intel – Santa Clara, US), Ilia Polian (Universität Stuttgart, DE), Francesco Regazzoni (University of Lugano, CH), Patrick Schaumont (Virginia Polytechnic Institute – Blacksburg, US) | Top |
August 11 – 16 , 2019, Dagstuhl Seminar 19331Software Protection Decision Support and Evaluation MethodologiesChristian Collberg (University of Arizona – Tucson, US), Mila Dalla Preda (University of Verona, IT), Bjorn De Sutter (Ghent University, BE), Brecht Wyseur (NAGRA Kudelski Group SA – Cheseaux, CH) | Top |
August 18 – 23 , 2019, Dagstuhl Seminar 19341Algorithms and Complexity for Continuous ProblemsDmitriy Bilyk (University of Minnesota – Minneapolis, US), Aicke Hinrichs (Johannes Kepler Universität Linz, AT), Frances Y. Kuo (UNSW Sydney, AU), Klaus Ritter (TU Kaiserslautern, DE) | Top |
August 25 – 30 , 2019, Dagstuhl Seminar 19351Computational ProteomicsNuno Bandeira (University of California – San Diego, US), Ileana M. Cristea (Princeton University, US), Lennart Martens (Ghent University, BE) | Top |
September 8 – 13 , 2019, Dagstuhl Seminar 19371Deduction Beyond SatisfiabilityCarsten Fuhs (Birkbeck, University of London, GB), Philipp Rümmer (Uppsala University, SE), Renate Schmidt (University of Manchester, GB), Cesare Tinelli (University of Iowa – Iowa City, US) | Top |
September 15 – 20 , 2019, Dagstuhl Seminar 19381Application-Oriented Computational Social ChoiceUmberto Grandi (Toulouse 1 Capitole University, FR), Stefan Napel (Universität Bayreuth, DE), Rolf Niedermeier (TU Berlin, DE), Kristen Brent Venable (Tulane University – New Orleans, US) | Top |
October 20 – 25 , 2019, Dagstuhl Seminar 19431Theory of Randomized Optimization HeuristicsCarola Doerr (University Pierre & Marie Curie – Paris, FR), Carlos M. Fonseca (University of Coimbra, PT), Tobias Friedrich (Hasso-Plattner-Institut – Potsdam, DE), Xin Yao (University of Birmingham, GB) | Top |