Seminars 2012:



Seminar 12011, 02.01.12 - 06.01.12

  Foundations for Scripting Languages

Robert Hirschfeld (Hasso-Plattner-Institut - Potsdam, DE), Shriram Krishnamurthi (Brown University - Providence, US), Erik Meijer (Microsoft Research - Redmond, US), Jan Vitek (Purdue University, US)

Top

Seminar 12021, 08.01.12 - 13.01.12

  Computability, Complexity and Randomness

Veronica Becher (University of Buenos Aires, AR), Laurent Bienvenu (University Paris-Diderot, FR), Rodney Downey (Victoria University of Wellington, NZ), Elvira Mayordomo (University of Zaragoza, ES)

Top

Seminar 12031, 15.01.12 - 20.01.12

  Symmetric Cryptography

Frederik Armknecht (Universität Mannheim, DE), Stefan Lucks (Bauhaus-Universität Weimar, DE), Bart Preneel (K.U. Leuven, BE), Phillip Rogaway (University of California - Davis, US)

Top

Seminar 12041, 22.01.12 - 27.01.12

  Learning in Multiobjective Optimization

Salvatore Greco (Università di Catania, IT), Joshua D. Knowles (University of Manchester, GB), Kaisa Miettinen (University of Jyvaskyla and KTH Royal Institute of Technology - Stockholm), Eckart Zitzler (PH Bern, CH)

The Dagstuhl Foundation received a donation from: Esteco

Top

Seminar 12051, 29.01.12 - 03.02.12

  Analysis of Executables: Benefits and Challenges

Andy M. King (University of Kent, GB), Alan Mycroft (University of Cambridge, GB), Thomas W. Reps (University of Wisconsin - Madison, US), Axel Simon (TU München, DE)

Top

Seminar 12061, 05.02.12 - 10.02.12

  Network Attack Detection and Defense Early Warning Systems – Challenges and Perspectives

Georg Carle (TU München, DE), Hervé Debar (Télécom & Management SudParis - Evry, FR), Hartmut König (BTU Cottbus, DE), Jelena Mirkovic (University of Southern California - Marina del Rey, US)

Top

Seminar 12071, 12.02.12 - 17.02.12

  Software Clone Management Towards Industrial Application

Ira D. Baxter (Semantic Designs - Austin, US), Michael Conradt (Google - München, DE), James R. Cordy (Queen's University - Kingston, CA), Stan Jarzabek (National University of Singapore, SG), Rainer Koschke (Universität Bremen, DE)

Top

Seminar 12081, 19.02.12 - 24.02.12

  Information Visualization, Visual Data Mining and Machine Learning

Daniel A. Keim (Universität Konstanz, DE), Fabrice Rossi (Télécom Paris Tech, FR), Thomas Seidl (RWTH Aachen, DE), Michel Verleysen (Université Catholique de Louvain, BE), Stefan Wrobel (Fraunhofer IAIS, St. Augustin and University of Bonn)

Top

Seminar 12091, 26.02.12 - 02.03.12

  Principles of Provenance

James Cheney (University of Edinburgh, GB), Anthony Finkelstein (University College London, GB), Bertram Ludaescher (University of California - Davis, US), Stijn Vansummeren (Université Libre de Bruxelles, BE)

Top

Seminar 12101, 04.03.12 - 09.03.12

  Computation and Incentives in Social Choice

Edith Elkind (Nanyang TU - Singapore, SG), Christian Klamler (Universität Graz, AT), Jeffrey S. Rosenschein (The Hebrew University of Jerusalem, IL), M. Remzi Sanver (Istanbul Bilgi University, TR)

Top

Seminar 12111, 11.03.12 - 16.03.12

  Normative Multi-Agent Systems

Giulia Andrighetto (ISTC - CNR - Rome, IT), Guido Governatori (NICTA - St. Lucia, AU), Pablo Noriega (IIIA - CSIC - Barcelona, ES), Leon van der Torre (University of Luxembourg, LU)

Top

Seminar 12121, 18.03.12 - 23.03.12

  Applications of Combinatorial Topology to Computer Science

Lisbeth Fajstrup (Aalborg University, DK), Dmitry Feichtner-Kozlov (Universität Bremen, DE), Robert Ghrist (University of Pennsylvania, US), Maurice Herlihy (Brown University - Providence, US)

Top

Seminar 12131, 25.03.12 - 30.03.12

  Open Models as a Foundation of Future Enterprise Systems

Robert B. France (Colorado State University, US), Ulrich Frank (Universität Duisburg-Essen, DE), Andreas Oberweis (KIT - Karlsruhe Institute of Technology, DE), Matti Rossi (Aalto University, FI)

Top

Seminar 12151, 09.04.12 - 12.04.12

  Touching the 3rd Dimension

Hrvoje Benko (Microsoft Research - Redmond, US), Jean-Baptiste de la Rivière (Immersion SAS - Bordeaux, FR), Daniel Keefe (University of Minnesota, US), Antonio Krüger (DFKI Saarbrücken, DE)

Top

Seminar 12152, 09.04.12 - 13.04.12

  Software Synthesis

Rastislav Bodik (University of California - Berkeley, US), Sumit Gulwani (Microsoft Research - Redmond, US), Eran Yahav (Technion - Haifa, IL)

Top

Seminar 12161, 15.04.12 - 20.04.12

  Abstractions for scalable multi-core computing

Faith Ellen (University of Toronto, CA), Christof Fetzer (TU Dresden, DE), Tim Harris (Microsoft Research UK - Cambridge, GB), Nir Shavit (Tel Aviv University, IL)

The Dagstuhl Foundation received a donation from: Microsoft Research, Cambridge, UK

Top

Seminar 12171, 22.04.12 - 27.04.12

  Semantic Data Management

Karl Aberer (EPFL - Lausanne, CH), Grigoris Antoniou (FORTH - Heraklion, GR), Oscar Corcho (Univ. Politec. de Madrid, ES), Rudi Studer (KIT - Karlsruhe Institute of Technology, DE)

Top

Seminar 12181, 01.05.12 - 04.05.12

  Quality of Experience: From User Perception to Instrumental Metrics

Markus Fiedler (Blekinge Institute of Technology - Karlskrona, SE), Kalevi Kilkki (Aalto University, FI), Sebastian Möller (TU Berlin, DE), Peter Reichl (FZ Telekommunikation Wien, AT)

Top

Seminar 12182, 01.05.12 - 04.05.12

  Perspectives Workshop: Social, Supply-Chain, Administrative, Business, Commerce, Political networks: a multi-discipline perspective

Ricardo A. Baeza-Yates (Yahoo Research - Barcelona, ES), Matthias Häsel (OTTO Group - Hamburg, DE), Ulrike Röttger (Westfälische Wilhelms-Universität Münster, DE), Gottfried Vossen (Universität Münster, DE)

Top

Seminar 12191, 06.05.12 - 11.05.12

  Artificial and Computational Intelligence in Games

Simon M. Lucas (University of Essex, GB), Michael Mateas (University of California - Santa Cruz, US), Mike Preuss (TU Dortmund, DE), Pieter Spronck (Tilburg University, NL), Julian Togelius (IT University of Copenhagen, DK)

Top

Seminar 12212, 20.05.12 - 25.05.12

  Perspectives Workshop: Co-Design of Systems and Applications for Exascale

Arndt Bode (TU München & LRZ Garching, DE), Adolfy Hoisie (Pacific Northwest National Lab., US), Dieter Kranzlmüller (LMU München & LRZ Garching, DE), Wolfgang E. Nagel (TU Dresden, DE)

Top

Seminar 12221, 28.05.12 - 01.06.12

  Cognitive Approaches for the Semantic Web

Dedre Gentner (Northwestern University - Evanston, US), Pascal Hitzler (Wright State University - Dayton, US), Kai-Uwe Kühnberger (Universität Osnabrück, DE), Frank van Harmelen (Free University - Amsterdam, NL)

Top

Seminar 12231, 03.06.12 - 06.06.12

  Future Internet for eHealth

Paolo Bonato (Harvard Medical School - Boston, US), Markus Fiedler (Blekinge Institute of Technology - Karlskrona, SE), David Hausheer (TU Darmstadt, DE), Katarzyna Wac (University of Geneva, CH)

Top

Seminar 12241, 10.06.12 - 15.06.12

  Data Reduction and Problem Kernels

Michael R. Fellows (Charles Darwin University - Darwin, AU), Jiong Guo (Universität des Saarlandes, DE), Dániel Marx (HU Berlin, DE), Saket Saurabh (The Institute of Mathematical Sciences - Chennai, IN)

Top

Seminar 12261, 24.06.12 - 29.06.12

  Putting Data on the Map

Stephen Kobourov (University of Arizona - Tucson, US), Frank van Ham (IBM ILOG Research - France, FR), Alexander Wolff (Universität Würzburg, DE)

Top

Seminar 12271, 01.07.12 - 06.07.12

  AI meets Formal Software Development

Alan Bundy (University of Edinburgh, GB), Dieter Hutter (DFKI Saarbrücken, DE), Clifford B. Jones (Newcastle University, GB), J Strother Moore (University of Texas - Austin, US)

Top

Seminar 12272, 01.07.12 - 06.07.12

  Architecture-Driven Semantic Analysis of Embedded Systems

Peter Feiler (Carnegie Mellon University - Pittsburgh, US), Jérôme Hugues (ISAE - Toulouse, FR), Oleg Sokolsky (University of Pennsylvania, US)

Top

Seminar 12281, 08.07.12 - 13.07.12

  Security and Dependability for Federated Cloud Platforms

Matthias Schunter (IBM Research - Zürich, CH), Marc Shapiro (INRIA & LIP6 - Paris, FR), Paulo Verissimo (University of Lisboa, PT), Michael Waidner (TU Darmstadt, DE)

Top

Seminar 12282, 08.07.12 - 13.07.12

  Database Workload Management

Shivnath Babu (Duke University, US), Goetz Graefe (HP Labs - Madison, US), Stefan Krompaß (TU München, DE), Harumi Anne Kuno (HP Labs - Palo Alto, US)

Top

Seminar 12291, 15.07.12 - 20.07.12

  Structure Discovery in Biology: Motifs, Networks & Phylogenies

Alberto Apostolico (Georgia Institute of Technology, US), Andreas Dress (Shanghai Institutes for Biological Sciences, CN), Laxmi Parida (IBM TJ Watson Research Center, US)

Top

Seminar 12321, 05.08.12 - 10.08.12

  Robust Query Processing

Goetz Graefe (HP Labs - Madison, US), Wey Guy (Microsoft Research - Redmond, US), Glenn Paulley (Sybase - Waterloo, CA)

Top

Seminar 12331, 12.08.12 - 17.08.12

  Mobility Data Mining and Privacy

Christopher W. Clifton (Purdue University, US), Bart Kuijpers (Hasselt University - Diepenbeek, BE), Katharina Morik (TU Dortmund, DE), Yucel Saygin (Sabanci University - Istanbul, TR)

Top

Seminar 12341, 19.08.12 - 24.08.12

  Verifying Reliability

Görschwin Fey (Universität Bremen, DE), Masahiro Fujita (University of Tokyo, JP), Kaushik Roy (Purdue University, US), Matteo Sonza Reorda (Politecnico di Torino, IT)

Top

Seminar 12351, 26.08.12 - 31.08.12

  Interaction Beyond the Desktop

Alan Dix (Lancaster University, GB), James D. Hollan (University of California - San Diego, US), Albrecht Schmidt (Universität Stuttgart, DE), Jürgen Steimle (MIT - Cambridge, US)

Top

Seminar 12352, 26.08.12 - 31.08.12

  Information Flow and Its Applications

Samson Abramsky (University of Oxford, GB), Jean Krivine (University Paris-Diderot, FR), Michael W. Mislove (Tulane University, US)

Top

Seminar 12362, 02.09.12 - 07.09.12

  The Multilingual Semantic Web

Paul Buitelaar (National University of Ireland - Galway, IE), Key-Sun Choi (KAIST - Daejeon, KR), Philipp Cimiano (Universität Bielefeld, DE), Eduard H. Hovy (University of Southern California - Marina del Rey, US)

Top

Seminar 12371, 09.09.12 - 14.09.12

  Perspectives Workshop: Machine Learning Methods for Computer Security

Anthony D. Joseph (University of California - Berkeley, US), Pavel Laskov (Universität Tübingen, DE), Fabio Roli (Università di Cagliari, IT), Doug Tygar (University of California - Berkeley, US)

Top

Seminar 12372, 09.09.12 - 14.09.12

  Biological Data Visualization

Carsten Görg (University of Colorado, US), Lawrence Hunter (University of Colorado, US), Jessie Kennedy (Edinburgh Napier University, GB), Sean O'Donoghue (CSIRO - North Ryde, AU), Jarke J. Van Wijk (TU Eindhoven, NL)

Top

Seminar 12381, 16.09.12 - 21.09.12

  Privacy-Oriented Cryptography

Jan Camenisch (IBM Research - Zürich, CH), Mark Manulis (TU Darmstadt, DE), Gene Tsudik (University of California - Irvine, US), Rebecca Wright (Rutgers University - Piscataway, US)

Top

Seminar 12382, 18.09.12 - 21.09.12

  Perspectives Workshop: Computation and Palaeography: Potentials and Limits

Tal Hassner (Open University - Israel, IL), Malte Rehbein (Universität Würzburg, DE), Peter A. Stokes (King's College, CCH - London, GB), Lior Wolf (Tel Aviv University, IL)

Top

Seminar 12391, 23.09.12 - 28.09.12

  Algorithms and Complexity for Continuous Problems

Alexander Keller (NVIDIA GmbH - Berlin, DE), Frances Kuo (Univ. of New South Wales, AU), Andreas Neuenkirch (Universität Mannheim, DE), Joseph F. Traub (Columbia University, US)

Top

Seminar 12401, 30.09.12 - 05.10.12

  Web Application Security

Lieven Desmet (K.U. Leuven, BE), Martin Johns (SAP Research CEC - Karlsruhe, DE), Benjamin Livshits (Microsoft Research - Redmond, US), Andrei Sabelfeld (Chalmers UT - Göteborg, SE)

Top

Seminar 12411, 07.10.12 - 12.10.12

  Coalgebraic Logics

Ernst-Erich Doberkat (TU Dortmund, DE), Alexander Kurz (University of Leicester, GB)

Top

Seminar 12421, 14.10.12 - 19.10.12

  Algebraic and Combinatorial Methods in Computational Complexity

Manindra Agrawal (Indian Inst. of Technology - Kanpur, IN), Thomas Thierauf (Hochschule Aalen, DE), Christopher Umans (CalTech - Pasadena, US)

Top

Seminar 12431, 21.10.12 - 26.10.12

  Time-of-Flight Imaging: Algorithms, Sensors and Applications

James Davis (University of California - Santa Cruz, US), Bernd Jähne (Universität Heidelberg, DE), Andreas Kolb (Universität Siegen, DE), Ramesh Raskar (MIT - Cambridge, US), Christian Theobalt (MPI für Informatik - Saarbrücken, DE)

Top

Seminar 12441, 28.10.12 - 02.11.12

  Foundations and Challenges of Change and Evolution in Ontologies

James Delgrande (Simon Fraser University - Burnaby, CA), Enrico Franconi (Free University Bozen-Bolzano, IT), Thomas Meyer (Meraka Institute - Pretoria, ZA), Ulrike Sattler (University of Manchester, GB)

Top

Seminar 12442, 28.10.12 - 31.10.12

  Requirements Management – Novel Perspectives and Challenges

Jane Huang (DePaul University - Chicago, US), Matthias Jarke (RWTH Aachen, DE), Lin Liu (Tsinghua University Beijing, CN), Kalle Lyytinen (Case Western Reserve University - Cleveland, US)

Top

Seminar 12451, 04.11.12 - 09.11.12

  The Constraint Satisfaction Problem: Complexity and Approximability

Johan Hastad (KTH Stockholm, SE), Andrei Krokhin (University of Durham, GB), Dániel Marx (HU Berlin, DE)

Top

Seminar 12471, 18.11.12 - 23.11.12

  SAT Interactions

Nadia Creignou (Université de Marseille, FR), Nicola Galesi (University of Rome "La Sapienza", IT), Oliver Kullmann (University of Wales - Swansea, GB), Heribert Vollmer (Leibniz Universität Hannover, DE)

Top

Seminar 12481, 25.11.12 - 30.11.12

  Quantitative Security Analysis

Boris Köpf (IMDEA Software - Madrid, ES), Pasquale Malacaria (Queen Mary University of London, GB), Catuscia Palamidessi (Ecole Polytechnique - Palaiseau, FR)

Top

Seminar 12482, 25.11.12 - 28.11.12

  Analysis of Security APIs

Mike Bond (University of Cambridge, GB), Riccardo Focardi (Università Ca' Foscari di Venezia, IT), Sibylle Fröschle (Universität Oldenburg, DE), Graham Steel (ENS - Cachan, FR)

Top

Seminar 12491, 02.12.12 - 07.12.12

  Interpreting Observed Action

Susanne Biundo-Stephan (Universität Ulm, DE), Hans Werner Guesgen (Massey University, NZ), Joachim Hertzberg (Universität Osnabrück, DE), Stephen R. Marsland (Massey University, NZ)

Top

Seminar 12492, 02.12.12 - 07.12.12

  Human Activity Recognition in Smart Environments

James Bo Begole (PARC - Palo Alto, US), James Lawrence Crowley (INRIA Rhône-Alpes, FR), Paul Lukowicz (Universität Passau, DE), Albrecht Schmidt (Universität Stuttgart, DE)

Top

Seminar 12501, 09.12.12 - 12.12.12

  Organizational Processes for Supporting Sustainable Security

Lizzie Coles-Kemp (RHUL - London, GB), Dieter Gollmann (TU Hamburg-Harburg, DE), Jeffrey Hunker (Point Park University - Pittsburgh, US), Sean Peisert (University of California - Davis, US)

Top

Seminar 12511, 16.12.12 - 21.12.12

  Divide and Conquer: the Quest for Compositional Design and Analysis

Marieke Huisman (University of Twente, NL), Barbara Jobstmann (VERIMAG - Gières, FR), Ina Schaefer (TU Braunschweig, DE), Marielle Stoelinga (University of Twente, NL)

Top