Jump to Navigation | Search | Content area | Page footer

Seminars and Events 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

Event 12032, 15.01.12 - 18.01.12

Klausurtagung GESIS

York Sure-Vetter (GESIS - Leibniz Institute for the Social Sciences, DE)

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

Event 12042, 22.01.12 - 25.01.12

Erneuerbare Mobilität - Konzepte für die Mobilität von Morgen

Frank Geraets (Deutsche Bahn, DE), Karl-Heinz Krempels (RWTH Aachen, DE), Christoph Terwelp (RWTH Aachen, DE)

Top

Event 12043, 25.01.12 - 26.01.12

Treffen ZBMATH & DBLP

Marcel R. Ackermann (Schloss Dagstuhl, DE), Marc Herbstritt (Schloss Dagstuhl, DE)

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

Event 12053, 01.02.12 - 02.02.12

Projekt-Implementierungs-Treffen

H. Dieter Rombach (Fraunhofer IESE - Kaiserslautern, DE)

Top

Event 12054, 03.02.12 - 03.02.12

Studientag "Personal Branding und neue Medien"

Enrico Lieblang (HTW - Saarbrücken, DE), Nicole Schwarz (HTW - Saarbrücken, 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

Event 12062, 06.02.12 - 08.02.12

Modellbasierte Entwicklung eingebetteter Systeme (MBEES)

Holger Giese (Hasso-Plattner-Institut - Potsdam, DE), Michaela Huhn (TU Clausthal, DE), Bernhard Schätz (fortiss GmbH - München, DE)

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

Event 12072, 12.02.12 - 15.02.12

Erneuerbare Mobilität – Angebote für die Mobilität von Morgen

Markus Hofmann (Deutsche Bahn, DE), Karl-Heinz Krempels (RWTH Aachen, DE), Andreas Pfeiffer (smartlab - Aachen, DE), Christoph Terwelp (RWTH Aachen, DE)

Top

Event 12073, 15.02.12 - 17.02.12

Lehrstuhltreffen AG Zeller/Hack

Andreas Zeller (Universität des Saarlandes, DE)

Top

Event 12074, 15.02.12 - 17.02.12

Lehrstuhltreffen Hanebeck

Uwe D. Hanebeck (KIT - Karlsruhe Institute of Technology, 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

Event 12082, 20.02.12 - 23.02.12

Workshop on "Quantum Computing"

Jörg Hettel (FH Kaiserslautern-Zweibrücken, DE), Hans-Jürgen Steffens (FH Kaiserslautern-Zweibrücken, DE)

Top

Event 12083, 21.02.12 - 24.02.12

Lehrstuhltreffen AG Schmid

Klaus Schmid (Universität Hildesheim, DE)

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

Event 12092, 27.02.12 - 02.03.12

Klausurtagung "Numerical Simulation, Optimization and High Performance Computing - Software Design for Numerical Libraries"

Vincent Heuveline (KIT - Karlsruhe Institute of Technology, DE), Rudi Klatte (KIT - Karlsruhe Institute of Technology, DE)

Top

Event 12093, 27.02.12 - 28.02.12

Offsite Meeting Commercial Performance Management

Thomas In der Rieden (T-Systems International GmbH, DE)

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

Event 12102, 04.03.12 - 07.03.12

Deutsch-Japanisches Symposium

Antonio Krüger (DFKI Saarbrücken, DE)

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

Event 12112, 11.03.12 - 14.03.12

Lehrstuhltreffen Fischlin

Marc Fischlin (TU Darmstadt, DE)

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

Event 12123, 21.03.12 - 23.03.12

Klausurtagung Telematik Karlsruhe

Sören Finster (KIT - Karlsruhe Institute of Technology, DE), Martina Zitterbart (KIT - Karlsruhe Institute of Technology, DE)

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

Event 12132, 25.03.12 - 28.03.12

Klausurtagung "LST Rannenberg"

Kai Rannenberg (Universität Frankfurt am Main, DE)

Top

Event 12134, 28.03.12 - 29.03.12

EUSJA Workshop: Information and Communication Technology in Europe

Roswitha Bardohl (Schloss Dagstuhl, DE), Friederike Meyer zu Tittingdorf (Saarbrücken, DE)

Top

Event 12142, 01.04.12 - 04.04.12

Lehrstuhltreffen „Embedded Intelligence“

Bernhard Sick (Universität Kassel, DE)

Top

Event 12143, 01.04.12 - 04.04.12

GIBU 2012: GI-Beirat der Universitätsprofessoren

Gregor Snelting (KIT - Karlsruhe Institute of Technology, DE)

Top

Event 12144, 02.04.12 - 04.04.12

IMAGINE Project - Dagstuhl Meeting

Raimund Bröchler (INTRASOFT International SA - Luxembourg, LU)

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

Event 12172, 22.04.12 - 25.04.12

EU Network of Excellence/Coordination Action Meeting

Kevin Hammond (University of St Andrews, GB)

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

Event 12192, 06.05.12 - 11.05.12

CELSTEC Retreat Meeting

Rob Koper (Open University - Heerlen, NL)

Top

Event 12193, 06.05.12 - 09.05.12

Workshop

Jorge Guajardo Merchan (Robert Bosch LLC - Pittsburgh, US), Ahmad-Reza Sadeghi (TU Darmstadt, DE)

Top

Event 12202, 13.05.12 - 16.05.12

Kolloquium zum GI Dissertationspreis 2011

Steffen Hölldobler (TU Dresden, DE)

Top

Event 12203, 13.05.12 - 16.05.12

Doktorandenseminar

Bernhard Nebel (Universität Freiburg, DE)

Top

Event 12211, 20.05.12 - 25.05.12

  GI Dagstuhl Seminar "Quality-of-Service Attributes in Service- and Cloud-based Systems: Specification, Modelling, Monitoring, Prediction, and Optimisation

Lars Grunske (TU Kaiserslautern, DE), Samuel Kounev (KIT - Karlsruhe Institute of Technology, DE), Ina Schaefer (TU Braunschweig, DE)

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

Event 12222, 28.05.12 - 31.05.12

  GI Dagstuhl Seminar "Multi-Core Software Performance Engineering"

Steffen Becker (Universität Paderborn, DE), Jens Happe (SAP Research CEC - Karlsruhe, DE), Heiko Koziolek (ABB Forschungszentrum Deutschland - Ladenburg, DE), Victor Pankratius (KIT - Karlsruhe Institute of Technology, DE), Petr Tuma (Charles University - Prague, CZ)

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

Event 12232, 03.06.12 - 06.06.12

Workshop Wissenschaftsjournalismus

Roswitha Bardohl (Schloss Dagstuhl, DE), Tim Schröder (Oldenburg, DE)

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

Event 12242, 11.06.12 - 12.06.12

The Belgian School of Database Theory

Jan Paredaens (University of Antwerpen, BE), Jan Van den Bussche (Hasselt University, BE)

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

Event 12292, 15.07.12 - 20.07.12

Summer School SecVote 2012

Hugo Jonker (University of Luxembourg, LU), Olivier Pereira (UC Louvain, BE), Mark D. Ryan (University of Birmingham, GB), Peter Y. A. Ryan (University of Luxembourg, LU)

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

Event 12332, 14.08.12 - 17.08.12

Klausurtagung LST Stuckenschmidt

Heiner Stuckenschmidt (Universität Mannheim, DE)

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

Event 12392, 23.09.12 - 27.09.12

Klausurtagung "LST Freiling"

Felix C. Freiling (Universität Erlangen-Nürnberg, DE)

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

Event 12402, 30.09.12 - 05.10.12

Herbstschule "Information Retrieval"

Andreas Henrich (Universität Bamberg, DE)

Top

Seminar 12411, 07.10.12 - 12.10.12

  Coalgebraic Logics

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

Top

Event 12412, 07.10.12 - 10.10.12

LST-Treffen

Tobias Gädeke (KIT - Karlsruhe Institute of Technology, DE)

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

Event 12422, 14.10.12 - 19.10.12

Semantic Statistics for Social, Behavioural, and Economic Sciences: Leveraging the DDI Model for the Linked Data Web

Richard Cyganiak (National University of Ireland - Galway, IE), Arofan Gregory (Open Data Foundation - Tucson, US), Wendy Thomas (Population Center, University of Minnesota, US), Joachim Wackerow (GESIS - Mannheim, DE)

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

Event 12432, 21.10.12 - 26.10.12

DDI: Managing Metadata for Longitudinal Data

Arofan Gregory (Open Data Foundation - Tucson, US), Wendy Thomas (Population Center, University of Minnesota, US), Mary Vardigan (University of Michigan - ICPSR, US), Joachim Wackerow (GESIS - Mannheim, 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

Event 12443, 31.10.12 - 02.11.12

Arbeitstreffen Prof. Halang

Wolfgang A. Halang (FernUniversität in Hagen, DE)

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

Event 12473, 21.11.12 - 23.11.12

Klausurtagung ICSY

Paul Müller (TU Kaiserslautern, DE)

Top

Event 12474, 22.11.12 - 23.11.12

IT-Seminar LST Thomas Engel

Thomas Engel (University of Luxemburg, LU)

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

Event 12503, 12.12.12 - 14.12.12

Lehrerfortbildung in Informatik

Heinz Dabrock (LPM Saarbrücken, DE), Reinhard Wilhelm (Universität des Saarlandes, DE), Martin Zimnol (Pädagogisches Landesinstitut Rheinland-Pfalz, DE)

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