Seminars and Dagstuhl Perspectives Workshops 2012:
January 2 – 6 , 2012, Dagstuhl Seminar 12011Foundations for Scripting LanguagesRobert Hirschfeld (Hasso-Plattner-Institut – Potsdam, DE), Shriram Krishnamurthi (Brown University – Providence, US), Erik Meijer (Microsoft Corporation – Redmond, US), Jan Vitek (Purdue University – West Lafayette, US) | Top |
January 8 – 13 , 2012, Dagstuhl Seminar 12021Computability, Complexity and RandomnessVeronica Becher (University of Buenos Aires, AR), Laurent Bienvenu (University of Paris VII, FR), Rodney Downey (Victoria University – Wellington, NZ), Elvira Mayordomo (University of Zaragoza, ES) | Top |
January 15 – 20 , 2012, Dagstuhl Seminar 12031Symmetric CryptographyFrederik Armknecht (Universität Mannheim, DE), Stefan Lucks (Bauhaus-Universität Weimar, DE), Bart Preneel (KU Leuven, BE), Phillip Rogaway (University of California – Davis, US) | Top |
January 22 – 27 , 2012, Dagstuhl Seminar 12041Learning in Multiobjective OptimizationSalvatore Greco (Università di Catania, IT), Joshua D. Knowles (University of Manchester, GB), Kaisa Miettinen (University of Jyvaskyla, FI & KTH Royal Institute of Technology – Stockholm, SE), Eckart Zitzler (PH Bern, CH) | Top |
January 29 – February 3 , 2012, Dagstuhl Seminar 12051Analysis of Executables: Benefits and ChallengesAndy 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 |
February 5 – 10 , 2012, Dagstuhl Seminar 12061Network Attack Detection and Defense Early Warning Systems - Challenges and PerspectivesGeorg Carle (TU München, DE), Hervé Debar (Télécom & Management SudParis – Evry, FR), Hartmut König (BTU Cottbus, DE), Jelena Mirkovic (USC – Marina del Rey, US) | Top |
February 12 – 17 , 2012, Dagstuhl Seminar 12071Software Clone Management Towards Industrial ApplicationIra 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 |
February 19 – 24 , 2012, Dagstuhl Seminar 12081Information Visualization, Visual Data Mining and Machine LearningDaniel A. Keim (Universität Konstanz, DE), Fabrice Rossi (University of Paris I, FR), Thomas Seidl (RWTH Aachen, DE), Michel Verleysen (University of Louvain, BE), Stefan Wrobel (Fraunhofer IAIS, St. Augustin, DE & University of Bonn, DE) | Top |
February 26 – March 2 , 2012, Dagstuhl Seminar 12091Principles of ProvenanceJames Cheney (University of Edinburgh, GB), Anthony Finkelstein (University College London, GB), Bertram Ludäscher (University of California – Davis, US), Stijn Vansummeren (University of Brussels, BE) | Top |
March 4 – 9 , 2012, Dagstuhl Seminar 12101Computation and Incentives in Social ChoiceEdith 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 |
March 11 – 16 , 2012, Dagstuhl Seminar 12111Normative Multi-Agent SystemsGiulia Andrighetto (European University Institute, IT), Guido Governatori (NICTA – Brisbane, AU), Pablo Noriega (IIIA – CSIC – Barcelona, ES), Leon van der Torre (University of Luxembourg, LU) | Top |
March 18 – 23 , 2012, Dagstuhl Seminar 12121Applications of Combinatorial Topology to Computer ScienceLisbeth Fajstrup (Aalborg University, DK), Dmitry Feichtner-Kozlov (Universität Bremen, DE), Robert Ghrist (University of Pennsylvania, US), Maurice Herlihy (Brown University – Providence, US) | Top |
March 25 – 30 , 2012, Dagstuhl Seminar 12131Open Models as a Foundation of Future Enterprise SystemsRobert B. France (Colorado State University, US), Ulrich Frank (Universität Duisburg-Essen, DE), Andreas Oberweis (KIT – Karlsruher Institut für Technologie, DE), Matti Rossi (Aalto University, FI) | Top |
April 9 – 12 , 2012, Dagstuhl Seminar 12151Touching the 3rd DimensionHrvoje Benko (Microsoft Corporation – Redmond, US), Jean-Baptiste de la Rivière (Immersion SAS – Bordeaux, FR), Daniel Keefe (University of Minnesota – Minneapolis, US), Antonio Krüger (DFKI – Saarbrücken, DE) | Top |
April 9 – 13 , 2012, Dagstuhl Seminar 12152Software SynthesisRastislav Bodik (University of California – Berkeley, US), Sumit Gulwani (Microsoft Corporation – Redmond, US), Eran Yahav (Technion – Haifa, IL) | Top |
April 15 – 20 , 2012, Dagstuhl Seminar 12161Abstractions for scalable multi-core computingFaith Ellen (University of Toronto, CA), Christof Fetzer (TU Dresden, DE), Tim Harris (Microsoft Research UK – Cambridge, GB), Nir Shavit (Tel Aviv University, IL) | Top |
April 22 – 27 , 2012, Dagstuhl Seminar 12171Semantic Data ManagementKarl Aberer (EPFL – Lausanne, CH), Grigoris Antoniou (University of Huddersfield, GB), Oscar Corcho (Technical University of Madrid, ES), Rudi Studer (KIT – Karlsruher Institut für Technologie, DE) | Top |
May 1 – 4 , 2012, Dagstuhl Seminar 12181Quality of Experience: From User Perception to Instrumental MetricsMarkus Fiedler (Blekinge Institute of Technology – Karlskrona, SE), Kalevi Kilkki (Aalto University, FI), Sebastian Möller (TU Berlin, DE), Peter Reichl (FTW Forschungszentrum Telekommunikation Wien GmbH, AT) | Top |
May 1 – 4 , 2012, Dagstuhl Perspectives Workshop 12182Social, Supply-Chain, Administrative, Business, Commerce, Political networks: a multi-discipline perspectiveMatthias Häsel (Otto Group – Hamburg, DE), Thorsten Quandt (Universität Münster, DE), Gottfried Vossen (Universität Münster, DE) | Top |
May 6 – 11 , 2012, Dagstuhl Seminar 12191Artificial and Computational Intelligence in GamesSimon M. Lucas (University of Essex, GB), Michael Mateas (University of California – Santa Cruz, US), Mike Preuß (TU Dortmund, DE), Pieter Spronck (Tilburg University, NL), Julian Togelius (IT University of Copenhagen, DK) | Top |
May 20 – 25 , 2012, Dagstuhl Perspectives Workshop 12212Co-Design of Systems and Applications for ExascaleArndt Bode (TU München DE & LRZ Garching, DE), Adolfy Hoisie (Pacific Northwest National Lab. – Richland, US), Dieter Kranzlmüller (LMU München, DE & LRZ Garching, DE), Wolfgang E. Nagel (TU Dresden, DE) | Top |
May 28 – June 1 , 2012, Dagstuhl Seminar 12221Cognitive Approaches for the Semantic WebDedre Gentner (Northwestern University – Evanston, US), Pascal Hitzler (Wright State University – Dayton, US), Kai-Uwe Kühnberger (Universität Osnabrück, DE), Frank van Harmelen (VU University Amsterdam, NL) | Top |
June 3 – 6 , 2012, Dagstuhl Seminar 12231Future Internet for eHealthPaolo 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 |
June 10 – 15 , 2012, Dagstuhl Seminar 12241Data Reduction and Problem KernelsMichael R. Fellows (Charles Darwin University – Darwin, AU), Jiong Guo (Universität des Saarlandes, DE), Dániel Marx (Hungarian Academy of Sciences – Budapest, HU), Saket Saurabh (University of Bergen, NO) | Top |
June 24 – 29 , 2012, Dagstuhl Seminar 12261Putting Data on the MapStephen G. Kobourov (University of Arizona – Tucson, US), Frank van Ham (IBM Netherlands – Amsterdam, NL), Alexander Wolff (Universität Würzburg, DE) | Top |
July 1 – 6 , 2012, Dagstuhl Seminar 12271AI meets Formal Software DevelopmentAlan Bundy (University of Edinburgh, GB), Dieter Hutter (DFKI – Bremen, DE), Cliff B. Jones (University of Newcastle, GB), J Strother Moore (University of Texas – Austin, US) | Top |
July 1 – 6 , 2012, Dagstuhl Seminar 12272Architecture-Driven Semantic Analysis of Embedded SystemsPeter H. Feiler (Carnegie Mellon University – Pittsburgh, US), Jérôme Hugues (ISAE – Toulouse, FR), Oleg Sokolsky (University of Pennsylvania – Philadelphia, US) | Top |
July 8 – 13 , 2012, Dagstuhl Seminar 12281Security and Dependability for Federated Cloud PlatformsPaulo Jorge Esteves-Veríssimo (University of Lisboa, PT), Matthias Schunter (INTEL ICRI – Darmstadt, DE), Marc Shapiro (UPMC – Paris, FR), Michael Waidner (TU Darmstadt, DE) | Top |
July 8 – 13 , 2012, Dagstuhl Seminar 12282Database Workload ManagementShivnath Babu (Duke University – Durham, US), Goetz Graefe (HP Labs – Madison, US), Harumi Anne Kuno (HP Labs – Palo Alto, US) | Top |
July 15 – 20 , 2012, Dagstuhl Seminar 12291Structure Discovery in Biology: Motifs, Networks and PhylogeniesAlberto Apostolico (Georgia Institute of Technology – Atlanta, US), Andreas Dress (Shanghai Institutes for Biological Sciences, CN), Laxmi Parida (IBM TJ Watson Research Center – Yorktown Heights, US) | Top |
August 5 – 10 , 2012, Dagstuhl Seminar 12321Robust Query ProcessingGoetz Graefe (HP Labs – Madison, US), Wey Guy (Redmond, US), Glenn Paulley (Conestoga College – Kitchener, CA) | Top |
August 12 – 17 , 2012, Dagstuhl Seminar 12331Mobility Data Mining and PrivacyChristopher W. Clifton (Purdue University – West Lafayette, US), Bart Kuijpers (Hasselt University – Diepenbeek, BE), Katharina Morik (TU Dortmund, DE), Yucel Saygin (Sabanci University – Istanbul, TR) | Top |
August 19 – 24 , 2012, Dagstuhl Seminar 12341Verifying ReliabilityGörschwin Fey (Universität Bremen, DE), Masahiro Fujita (University of Tokyo, JP), Kaushik Roy (Purdue University – West Lafayette, US), Matteo Sonza Reorda (Polytechnic University of Torino, IT) | Top |
August 19 – 24 , 2012, Dagstuhl Seminar 12342Engineering Multi-Agent SystemsJürgen Dix (TU Clausthal, DE), Koen V. Hindriks (TU Delft, NL), Brian Logan (University of Nottingham, GB), Wayne Wobcke (UNSW – Sydney, AU) | Top |
August 26 – 31 , 2012, Dagstuhl Seminar 12351Interaction Beyond the DesktopAlan Dix (University of Birmingham, GB), James D. Hollan (University of California – San Diego, US), Albrecht Schmidt (Universität Stuttgart, DE), Jürgen Steimle (MIT – Cambridge, US) | Top |
August 26 – 31 , 2012, Dagstuhl Seminar 12352Information Flow and Its ApplicationsSamson Abramsky (University of Oxford, GB), Jean Krivine (University Paris-Diderot, FR), Michael W. Mislove (Tulane University, US) | Top |
September 2 – 5 , 2012, Dagstuhl Seminar 12361Information-centric networking -- Ready for the real world?Ali Ghodsi (University of California – Berkeley, US), Börje Ohlman (Ericsson Research – Stockholm, SE), Jörg Ott (Aalto University, FI), Ignacio Solis (Xerox PARC – Palo Alto, US) | Top |
September 2 – 7 , 2012, Dagstuhl Seminar 12362The Multilingual Semantic WebPaul Buitelaar (National University of Ireland – Galway, IE), Key-Sun Choi (KAIST – Daejeon, KR), Philipp Cimiano (Universität Bielefeld, DE), Eduard H. Hovy (USC – Marina del Rey, US) | Top |
September 5 – 8 , 2012, Dagstuhl Seminar 12363Software Defined NetworkingPan Hui (T-labs – Berlin, DE & TU Berlin, DE), Jussi Kangasharju (University of Helsinki, FI), Teemu Koponen (Nicira Networks Inc. – Palo Alto, US) | Top |
September 9 – 14 , 2012, Dagstuhl Perspectives Workshop 12371Machine Learning Methods for Computer SecurityAnthony D. Joseph (University of California – Berkeley, US), Pavel Laskov (Universität Tübingen, DE), Fabio Roli (University of Cagliari, IT), Doug Tygar (University of California – Berkeley, US) | Top |
September 9 – 14 , 2012, Dagstuhl Seminar 12372Biological Data VisualizationCarsten Görg (University of Colorado – Aurora, US), Lawrence Hunter (University of Colorado – Aurora, US), Jessie Kennedy (Edinburgh Napier University, GB), Sean O'Donoghue (CSIRO – North Ryde, AU), Jarke J. van Wijk (TU Eindhoven, NL) | Top |
September 16 – 21 , 2012, Dagstuhl Seminar 12381Privacy-Oriented CryptographyJan Camenisch (IBM Research GmbH – Zürich, CH), Mark Manulis (University of Surrey, GB), Gene Tsudik (University of California – Irvine, US), Rebecca Wright (Rutgers University – Piscataway, US) | Top |
September 18 – 21 , 2012, Dagstuhl Perspectives Workshop 12382Computation and Palaeography: Potentials and LimitsTal Hassner (The Open University of Israel – Raanana, IL), Malte Rehbein (Universität Würzburg, DE), Peter A. Stokes (King's College – London, GB), Lior Wolf (Tel Aviv University, IL) | Top |
September 23 – 28 , 2012, Dagstuhl Seminar 12391Algorithms and Complexity for Continuous ProblemsAlexander Keller (NVIDIA GmbH – Berlin, DE), Frances Y. Kuo (UNSW – Sydney, AU), Andreas Neuenkirch (Universität Mannheim, DE), Joseph F. Traub (Columbia University – New York, US) | Top |
September 30 – October 5 , 2012, Dagstuhl Seminar 12401Web Application SecurityLieven Desmet (KU Leuven, BE), Martin Johns (SAP SE – Karlsruhe, DE), Benjamin Livshits (Microsoft Corporation – Redmond, US), Andrei Sabelfeld (Chalmers UT – Göteborg, SE) | Top |
October 7 – 12 , 2012, Dagstuhl Seminar 12411Coalgebraic LogicsErnst-Erich Doberkat (TU Dortmund, DE), Alexander Kurz (University of Leicester, GB) | Top |
October 14 – 19 , 2012, Dagstuhl Seminar 12421Algebraic and Combinatorial Methods in Computational ComplexityManindra Agrawal (Indian Institute of Technology – Kanpur, IN), Thomas Thierauf (Hochschule Aalen, DE), Christopher Umans (CalTech – Pasadena, US) | Top |
October 21 – 26 , 2012, Dagstuhl Seminar 12431Time-of-Flight Imaging: Algorithms, Sensors and ApplicationsJames E. 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 |
October 28 – November 2 , 2012, Dagstuhl Seminar 12441Foundations and Challenges of Change and Evolution in OntologiesJames P. Delgrande (Simon Fraser University – Burnaby, CA), Thomas Meyer (CSIR Meraka, ZA & University of KwaZulu-Natal, ZA), Ulrike Sattler (University of Manchester, GB) | Top |
October 28 – 31 , 2012, Dagstuhl Seminar 12442Requirements Management – Novel Perspectives and ChallengesJane Cleland-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 |
November 4 – 9 , 2012, Dagstuhl Seminar 12451The Constraint Satisfaction Problem: Complexity and ApproximabilityJohan Hastad (KTH Royal Institute of Technology, SE), Andrei Krokhin (Durham University, GB), Dániel Marx (Hungarian Academy of Sciences – Budapest, HU) | Top |
November 6 – 9 , 2012, Dagstuhl Perspectives Workshop 12452Publication Culture in Computing ResearchKurt Mehlhorn (MPI für Informatik – Saarbrücken, DE), Moshe Y. Vardi (Rice University – Houston, US) | Top |
November 11 – 16 , 2012, Dagstuhl Seminar 12461Games and Decisions for Rigorous Systems EngineeringNikolaj S. Bjorner (Microsoft Corporation – Redmond, US), Krishnendu Chatterjee (IST Austria – Klosterneuburg, AT), Laura Kovács (TU Wien, AT), Rupak Majumdar (MPI-SWS – Kaiserslautern, DE) | Top |
November 11 – 16 , 2012, Dagstuhl Seminar 12462Symbolic Methods for Chemical Reaction NetworksFrancois Boulier (University of Lille I, FR), Anne J. Shiu (University of Chicago, US), Thomas Sturm (MPI für Informatik – Saarbrücken, DE), Andreas Weber (Universität Bonn, DE) | Top |
November 18 – 23 , 2012, Dagstuhl Seminar 12471SAT InteractionsNadia Creignou (University of Marseille, FR), Nicola Galesi (Sapienza University of Rome, IT), Oliver Kullmann (Swansea University, GB), Heribert Vollmer (Leibniz Universität Hannover, DE) | Top |
November 18 – 21 , 2012, Dagstuhl Seminar 12472Is the Future of Preservation Cloudy?Erik Elmroth (University of Umeå, SE), Michael Factor (IBM – Haifa, IL), Ethan Miller (University of California – Santa Cruz, US), Margo Seltzer (Harvard University – Cambridge, US) | Top |
November 25 – 30 , 2012, Dagstuhl Seminar 12481Quantitative Security AnalysisBoris Köpf (IMDEA Software – Madrid, ES), Pasquale Malacaria (Queen Mary University of London, GB), Catuscia Palamidessi (Ecole Polytechnique – Palaiseau, FR) | Top |
November 25 – 28 , 2012, Dagstuhl Seminar 12482Analysis of Security APIsMike Bond (University of Cambridge, GB), Riccardo Focardi (University of Venezia, IT), Sibylle Fröschle (OFFIS – Oldenburg, DE), Graham Steel (ENS – Cachan, FR) | Top |
December 2 – 7 , 2012, Dagstuhl Seminar 12491Interpreting Observed ActionSusanne 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 |
December 2 – 7 , 2012, Dagstuhl Seminar 12492Human Activity Recognition in Smart EnvironmentsJames Bo Begole (Samsung Research – San Jose, US), James L. Crowley (INRIA – Grenoble, FR), Paul Lukowicz (DFKI – Kaiserslautern, DE), Albrecht Schmidt (Universität Stuttgart, DE) | Top |
December 9 – 12 , 2012, Dagstuhl Seminar 12501Organizational Processes for Supporting Sustainable SecurityLizzie Coles-Kemp (Royal Holloway University of London, GB), Carrie Gates (CA Labs – Islandia, US), Dieter Gollmann (TU Hamburg-Harburg, DE), Jeffrey Hunker (Point Park University – Pittsburgh, US), Sean Peisert (University of California – Davis, US) | Top |
December 9 – 12 , 2012, Dagstuhl Seminar 12502Securing Critical Infrastructures from Targeted AttacksMarc C. Dacier (Symantec Research Labs – Sophia Antipolis, FR), Frank Kargl (Uni Twente, NL & Uni Ulm, DE), Alfonso Valdes (University of Illinois – Urbana Champaign, US) | Top |
December 16 – 21 , 2012, Dagstuhl Seminar 12511Divide and Conquer: the Quest for Compositional Design and AnalysisMarieke Huisman (University of Twente, NL), Barbara Jobstmann (VERIMAG – Grenoble, FR), Ina Schaefer (TU Braunschweig, DE), Marielle Stoelinga (University of Twente, NL) | Top |
December 16 – 21 , 2012, Dagstuhl Seminar 12512Representation, Analysis and Visualization of Moving ObjectsJoachim Gudmundsson (The University of Sydney, AU), Patrick Laube (Universität Zürich, CH), Sabine Timpf (Universität Augsburg, DE), Emiel Van Loon (University of Amsterdam, NL) | Top |