Seminare und Dagstuhl-Perspektiven-Workshops 2014:
05. – 10. Januar 2014, Dagstuhl Seminar 14021Symmetric CryptographyFrederik Armknecht (Universität Mannheim, DE), Helena Handschuh (Cryptography Research Inc. – San Francisco, US), Tetsu Iwata (Nagoya University, JP), Bart Preneel (KU Leuven, BE) | Top |
05. – 10. Januar 2014, Dagstuhl Perspectives Workshop 14022Connecting Performance Analysis and Visualization to Advance Extreme Scale ComputingPeer-Timo Bremer (LLNL – Livermore, US), Bernd Mohr (Jülich Supercomputing Centre, DE), Valerio Pascucci (University of Utah, US), Martin Schulz (LLNL – Livermore, US) | Top |
12. – 17. Januar 2014, Dagstuhl Seminar 14031Randomized Timed and Hybrid Models for Critical InfrastructuresErika Abraham (RWTH Aachen, DE), Alberto Avritzer (Siemens – Princeton, US), Anne Remke (University of Twente, NL), William H. Sanders (University of Illinois – Urbana Champaign, US) | Top |
12. – 15. Januar 2014, Dagstuhl Seminar 14032Planning with epistemic goalsThomas Agotnes (University of Bergen, NO), Gerhard Lakemeyer (RWTH Aachen, DE), Benedikt Löwe (University of Amsterdam, NL), Bernhard Nebel (Universität Freiburg, DE) | Top |
19. – 24. Januar 2014, Dagstuhl Seminar 14041Quantitative Models: Expressiveness, Analysis, and New ApplicationsManfred Droste (Universität Leipzig, DE), Paul Gastin (ENS – Cachan, FR), Kim Guldstrand Larsen (Aalborg University, DK), Axel Legay (INRIA Rennes – Bretagne Atlantique, FR) | Top |
19. – 22. Januar 2014, Dagstuhl Seminar 14042Do-it-yourself Networking: an Interdisciplinary ApproachPanayotis Antoniadis (ETH Zürich, CH), Jörg Ott (Aalto University, FI), Andrea Passarella (CNR – Pisa, IT) | Top |
26. – 31. Januar 2014, Dagstuhl Seminar 14051Algorithms for Wireless CommunicationGuy Even (Tel Aviv University, IL), Magnus M. Halldorsson (Reykjavik University, IS), Yvonne-Anne Pignolet (ABB Corporate Research – Baden-Dättwil, CH), Christian Scheideler (Universität Paderborn, DE) | Top |
26. – 31. Januar 2014, Dagstuhl Seminar 14052Ethics in Data SharingSven Dietrich (Stevens Institute of Technology, US), Mireille Hildebrandt (Free University of Brussels, BE), Aiko Pras (University of Twente, NL), Lenore D. Zuck (University of Illinois – Chicago, US) | Top |
02. – 07. Februar 2014, Dagstuhl Seminar 14061Statistical Techniques for Translating to Morphologically Rich LanguagesAlexander M. Fraser (LMU München, DE), Kevin Knight (USC – Marina del Rey, US), Philipp Koehn (University of Edinburgh, GB), Helmut Schmid (LMU München, DE), Hans Uszkoreit (Universität des Saarlandes, DE) | Top |
02. – 07. Februar 2014, Dagstuhl Seminar 14062The Pacemaker Challenge: Developing Certifiable Medical DevicesDominique Méry (LORIA – Nancy, FR), Bernhard Schätz (fortiss GmbH – München, DE), Alan Wassyng (McMaster University – Hamilton, CA) | Top |
09. – 14. Februar 2014, Dagstuhl Seminar 14071Graph Modification ProblemsHans L. Bodlaender (Utrecht University, NL & Technical University Eindhoven, NL), Pinar Heggernes (University of Bergen, NO), Daniel Lokshtanov (University of Bergen, NO) | Top |
09. – 14. Februar 2014, Dagstuhl Seminar 14072New Perspectives in Shape AnalysisMichael Breuß (BTU Cottbus, DE), Alfred M. Bruckstein (Technion – Haifa, IL), Petros Maragos (National Technical University of Athens, GR), Stefanie Wuhrer (Universität des Saarlandes, DE) | Top |
16. – 21. Februar 2014, Dagstuhl Seminar 14081Robots Learning from ExperiencesAnthony G. Cohn (University of Leeds, GB), Bernd Neumann (Universität Hamburg, DE), Alessandro Saffiotti (University of Örebro, SE), Markus Vincze (TU Wien, AT) | Top |
16. – 21. Februar 2014, Dagstuhl Seminar 14082Visualization and Processing of Higher Order Descriptors for Multi-Valued DataBernhard Burgeth (Universität des Saarlandes, DE), Ingrid Hotz (DLR – Braunschweig, DE), Anna Vilanova (TU Delft, NL), Carl-Fredrik Westin (Harvard Medical School – Boston, US) | Top |
23. – 28. Februar 2014, Dagstuhl Seminar 14091Data 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), Robert Sedgewick (Princeton University, US) | Top |
23. – 28. Februar 2014, Dagstuhl Seminar 14092Digital Evidence and Forensic ReadinessGlenn S. Dardick (Longwood University – Farmville, US), Barbara Endicott-Popovsky (University of Washington – Seattle, US), Pavel Gladyshev (University College Dublin, IE), Thomas Kemmerich (Gjøvik University College, NO), Carsten Rudolph (Fraunhofer SIT – Darmstadt, DE) | Top |
02. – 07. März 2014, Dagstuhl Seminar 14101Preference LearningJohannes Fürnkranz (TU Darmstadt, DE), Eyke Hüllermeier (Universität Marburg, DE), Cynthia Rudin (MIT – Camridge, US), Roman Slowinski (Poznan University of Technology, PL) | Top |
09. – 14. März 2014, Dagstuhl Seminar 14111Combinatorics and Algorithmics of StringsMaxime Crochemore (King's College London, GB), James D. Currie (University of Winnipeg, CA), Gregory Kucherov (University Paris-Est – Marne-la-Vallée, FR), Dirk Nowotka (Universität Kiel, DE) | Top |
10. – 13. März 2014, Dagstuhl Perspectives Workshop 14112Massive Open Online Courses: Current State and PerspectivesPierre Dillenbourg (EPFL – Lausanne, CH), Claude Kirchner (INRIA – Le Chesnay, FR), John C. Mitchell (Stanford University, US), Martin Wirsing (LMU München, DE) | Top |
16. – 21. März 2014, Dagstuhl Seminar 14121Computational Complexity of Discrete ProblemsAnna Gál (University of Texas – Austin, US), Michal Koucký (Charles University – Prague, CZ), Oded Regev (New York University, US), Rüdiger Reischuk (Universität Lübeck, DE) | Top |
16. – 21. März 2014, Dagstuhl Seminar 14122Verification of Cyber-Physical SystemsRupak Majumdar (MPI-SWS – Kaiserslautern, DE), Richard M. Murray (CalTech – Pasadena, US), Pavithra Prabhakar (IMDEA Software – Madrid, ES) | Top |
23. – 28. März 2014, Dagstuhl Seminar 14131Computational Models of Cultural Behavior for Human-Agent InteractionElisabeth André (Universität Augsburg, DE), Ruth Aylett (Heriot-Watt University Edinburgh, GB), Gert Jan Hofstede (Wageningen University, NL), Ana Paiva (INESC-ID – Porto Salvo, PT) | Top |
23. – 28. März 2014, Dagstuhl Seminar 14132Interaction and Collective Movement ProcessingMaike Buchin (Ruhr-Universität Bochum, DE), Luca Giuggioli (University of Bristol, GB), Guy Theraulaz (Université Paul Sabatier – Toulouse, FR), Marc van Kreveld (Utrecht University, NL) | Top |
30. März – 04. April 2014, Dagstuhl Seminar 14141Reachability Problems for Infinite-State SystemsJavier Esparza (TU München, DE), Alain Finkel (ENS – Cachan, FR), Pierre McKenzie (University of Montréal, CA), Joel Ouaknine (University of Oxford, GB) | Top |
30. März – 04. April 2014, Dagstuhl Seminar 14142Spatial reference in the Semantic Web and in RoboticsAldo Gangemi (CNR – Rome, IT), Verena V. Hafner (HU Berlin, DE), Werner Kuhn (University of California – Santa Barbara, US), Luc Steels (Free University of Brussels, BE) | Top |
21. – 25. April 2014, Dagstuhl Seminar 14171Evaluating Software Verification Systems: Benchmarks and CompetitionsDirk Beyer (Universität Passau, DE), Marieke Huisman (University of Twente, NL), Vladimir Klebanov (KIT – Karlsruher Institut für Technologie, DE), Rosemary Monahan (NUI Maynooth, IE) | Top |
21. – 24. April 2014, Dagstuhl Seminar 14172Unifying Product and Software ConfigurationKrzysztof Czarnecki (University of Waterloo, CA), Arnaud Hubaux (ASML – Veldhoven, NL), Ethan Jackson (Microsoft Corporation – Redmond, US), Dietmar Jannach (TU Dortmund, DE), Tomi Männistö (University of Helsinki, FI) | Top |
27. April – 02. Mai 2014, Dagstuhl Seminar 14181Multi-agent systems and their role in future energy gridsMichael N. Huhns (University of South Carolina – Columbia, US), Wolfgang Ketter (Erasmus University – Rotterdam, NL), Ryszard Kowalczyk (Swinburne University of Technology – Melbourne, AU), Fabrice Saffre (BT Research – Ipswich, GB) | Top |
27. April – 02. Mai 2014, Dagstuhl Perspectives Workshop 14182Categorical Methods at the CrossroadsSamson Abramsky (University of Oxford, GB), John C. Baez (University of California – Riverside, US), Fabio Gadducci (University of Pisa, IT), Viktor Winschel (Universität Mannheim, DE) | Top |
11. – 16. Mai 2014, Dagstuhl Seminar 14201Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applicationsKira V. Adaricheva (Yeshiva University – New York, US), Giuseppe F. Italiano (University of Rome "Tor Vergata", IT), Hans Kleine Büning (Universität Paderborn, DE), György Turan (University of Illinois – Chicago, US) | Top |
12. – 15. Mai 2014, Dagstuhl Seminar 14202JA4AI – Judgment Aggregation for Artificial IntelligenceFranz Dietrich (CNRS, FR & University of East Anglia, GB), Ulle Endriss (University of Amsterdam, NL), Davide Grossi (University of Liverpool, GB), Gabriella Pigozzi (University Paris-Dauphine, FR) | Top |
18. – 23. Mai 2014, Dagstuhl Seminar 14211The Future of RefactoringDanny Dig (Oregon State University, US), William G. Griswold (University of California – San Diego, US), Emerson Murphy-Hill (North Carolina State University – Raleigh, US), Max Schaefer (Semmle Ltd. – Oxford, GB) | Top |
25. – 30. Mai 2014, Dagstuhl Seminar 14221Geometric ModelingFalai Chen (Univ. of Science & Technology of China – Anhui, CN), Tor Dokken (SINTEF IKT Applied Mathematics – Oslo, NO), Thomas A. Grandine (The Boeing Company – Seattle, US), Stefanie Hahmann (University of Grenoble, FR & INRIA Grenoble, FR & LJK Grenoble, FR) | Top |
01. – 06. Juni 2014, Dagstuhl Seminar 14231Scientific VisualizationMin Chen (University of Oxford, GB), Charles D. Hansen (University of Utah – Salt Lake City, US), Penny Rheingans (University of Maryland, Baltimore Country, US), Gerik Scheuermann (Universität Leipzig, DE) | Top |
01. – 06. Juni 2014, Dagstuhl Seminar 14232Design and Synthesis from ComponentsJakob Rehof (TU Dortmund, DE), Moshe Y. Vardi (Rice University – Houston, US) | Top |
09. – 13. Juni 2014, Dagstuhl Seminar 14241Challenges in Analysing Executables: Scalability, Self-Modifying Code and SynergyRoberto Giacobazzi (University of Verona, IT), Axel Simon (TU München, DE), Sarah Zennou (Airbus Group – Suresnes, FR) | Top |
22. – 27. Juni 2014, Dagstuhl Seminar 14261Software Development AnalyticsHarald Gall (Universität Zürich, CH), Tim Menzies (West Virginia University – Morgantown, US), Laurie Williams (North Carolina State University – Raleigh, US), Thomas Zimmermann (Microsoft Corporation – Redmond, US) | Top |
29. Juni – 04. Juli 2014, Dagstuhl Seminar 14271Scripting Languages and Frameworks: Analysis and VerificationFritz Henglein (University of Copenhagen, DK), Ranjit Jhala (University of California – San Diego, US), Shriram Krishnamurthi (Brown University – Providence, US), Peter Thiemann (Universität Freiburg, DE) | Top |
29. Juni – 02. Juli 2014, Dagstuhl Perspectives Workshop 14272Exploring Interdisciplinary Grand Challenges in ICT Design to Support Proactive Health and WellbeingElizabeth F. Churchill (eBay Research Labs, US), m.c. schraefel (University of Southampton, GB) | Top |
06. – 11. Juli 2014, Dagstuhl Seminar 14281Feature Interactions: The Next GenerationSven Apel (Universität Passau, DE), Joanne M. Atlee (University of Waterloo, CA), Luciano Baresi (Polytechnic University of Milan, IT), Pamela Zave (AT&T Labs Research – Bedminster, US) | Top |
06. – 09. Juli 2014, Dagstuhl Seminar 14282Crowdsourcing and the Semantic WebAbraham Bernstein (Universität Zürich, CH), Jan Marco Leimeister (Universität Kassel, DE & Universität St. Gallen, CH), Natasha Noy (Google Inc. – Mountain View, US), Elena Simperl (University of Southampton, GB) | Top |
13. – 16. Juli 2014, Dagstuhl Seminar 14291Information-Centric Networking 3Dirk Kutscher (NEC Laboratories Europe – Heidelberg, DE), Taekyoung Kwon (Seoul National University, KR), Ignacio Solis (Xerox PARC – Palo Alto, US) | Top |
13. – 16. Juli 2014, Dagstuhl Seminar 14292Network Attack Detection and Defense: Securing Industrial Control Systems for Critical InfrastructuresMarc C. Dacier (Doha, QA), Frank Kargl (Universität Ulm, DE), Hartmut König (BTU Cottbus, DE), Alfonso Valdes (University of Illinois – Urbana Champaign, US) | Top |
20. – 25. Juli 2014, Dagstuhl Seminar 14301Computational Humanities - bridging the gap between Computer Science and Digital HumanitiesChris Biemann (TU Darmstadt, DE), Gregory R. Crane (Tufts University, US), Christiane D. Fellbaum (Princeton University, US), Alexander Mehler (Goethe-Universität – Frankfurt a. M., DE) | Top |
20. – 24. Juli 2014, Dagstuhl Seminar 14302Digital Palaeography: New Machines and Old TextsTal Hassner (The Open University of Israel – Raanana, IL), Robert Sablatnig (TU Wien, AT), Dominique Stutzmann (CNRS – Paris, FR), Ségolène Tarte (University of Oxford, GB) | Top |
10. – 14. August 2014, Dagstuhl Seminar 14331Querying and Reasoning Under Expressive ConstraintsMichael Benedikt (University of Oxford, GB), Carsten Lutz (Universität Bremen, DE), Balder Ten Cate (University of California – Santa Cruz, US) | Top |
10. – 14. August 2014, Dagstuhl Seminar 14332Formal Methods for Coordinating Multi-Agent SystemsThomas Agotnes (University of Bergen, NO), Nils Bulling (TU Clausthal, DE), Sascha Ossowski (University Rey Juan Carlos, ES) | Top |
17. – 22. August 2014, Dagstuhl Seminar 14341Resource-bounded Problem SolvingYll Haxhimusa (TU Wien, AT), Iris van Rooij (Radboud University Nijmegen, NL), Sashank Varma (University of Minnesota – Minneapolis, US), Todd Wareham (Memorial University of Newfoundland, CA) | Top |
17. – 22. August 2014, Dagstuhl Seminar 14342Equilibrium ComputationNimrod Megiddo (IBM Almaden Center, US), Kurt Mehlhorn (MPI für Informatik – Saarbrücken, DE), Vijay V. Vazirani (Georgia Institute of Technology – Atlanta, US), Mihalis Yannakakis (Columbia University – New York, US) | Top |
24. – 29. August 2014, Dagstuhl Seminar 14351Decision Procedures and Abstract InterpretationDaniel Kroening (University of Oxford, GB), Thomas W. Reps (University of Wisconsin – Madison, US), Sanjit A. Seshia (University of California – Berkeley, US) | Top |
24. – 29. August 2014, Dagstuhl Seminar 14352Next Generation Static Software Analysis ToolsPatrick Cousot (ENS – Paris, FR), Klaus Havelund (NASA – Pasadena, US), Daniel Kroening (University of Oxford, GB), Carsten Sinz (KIT – Karlsruher Institut für Technologie, DE) | Top |
31. August – 05. September 2014, Dagstuhl Seminar 14361Computational Aspects of FabricationMarc Alexa (TU Berlin, DE), Bernd Bickel (Disney Research – Zürich, CH), Sara McMains (University of California – Berkeley, US), Holly E. Rushmeier (Yale University, US) | Top |
31. August – 05. September 2014, Dagstuhl Seminar 14362Augmenting Human Memory - Capture and Recall in the Era of LifeloggingMark Billinghurst (University of Canterbury – Christchurch, NZ), Nigel Davies (Lancaster University, GB), Marc Langheinrich (University of Lugano, CH), Albrecht Schmidt (Universität Stuttgart, DE) | Top |
07. – 12. September 2014, Dagstuhl Seminar 14371Adjoint Methods in Computational Science, Engineering, and FinanceNicolas R. Gauger (TU Kaiserslautern, DE), Michael Giles (University of Oxford, GB), Max D. Gunzburger (Florida State University, US), Uwe Naumann (RWTH Aachen, DE) | Top |
07. – 12. September 2014, Dagstuhl Seminar 14372Analysis of Algorithms Beyond the Worst CaseMaria-Florina Balcan (Carnegie Mellon University, US), Bodo Manthey (University of Twente, NL), Heiko Röglin (Universität Bonn, DE), Tim Roughgarden (Stanford University, US) | Top |
14. – 19. September 2014, Dagstuhl Seminar 14381Neural-Symbolic Learning and ReasoningArtur d'Avila Garcez (City University – London, GB), Marco Gori (University of Siena, IT), Pascal Hitzler (Wright State University – Dayton, US), Luis C. Lamb (Federal University of Rio Grande do Sul, BR) | Top |
21. – 26. September 2014, Dagstuhl Seminar 14391Algebra in Computational ComplexityManindra Agrawal (Indian Institute of Technology – Kanpur, IN), Valentine Kabanets (Simon Fraser University – Burnaby, CA), Thomas Thierauf (Hochschule Aalen, DE), Christopher Umans (CalTech – Pasadena, US) | Top |
28. September – 02. Oktober 2014, Dagstuhl Perspectives Workshop 14401Privacy and Security in an Age of SurveillanceMatt Blaze (University of Pennsylvania, US), Bart Preneel (KU Leuven, BE), Phillip Rogaway (University of California – Davis, US), Mark D. Ryan (University of Birmingham, GB), Peter Y. A. Ryan (University of Luxembourg, LU) | Top |
28. September – 01. Oktober 2014, Dagstuhl Seminar 14402Resilience in Exascale ComputingHermann Härtig (TU Dresden, DE), Satoshi Matsuoka (Tokyo Institute of Technology, JP), Frank Mueller (North Carolina State University – Raleigh, US), Alexander Reinefeld (Konrad-Zuse-Zentrum – Berlin, DE) | Top |
05. – 10. Oktober 2014, Dagstuhl Seminar 14411Constraints, Optimization and DataLuc De Raedt (KU Leuven, BE), Barry O'Sullivan (University College Cork, IE), Michele Sebag (University of Paris South XI, FR), Pascal Van Hentenryck (The University of Melbourne, AU) | Top |
05. – 10. Oktober 2014, Dagstuhl Seminar 14412Globalizing Domain-Specific LanguagesBetty H. C. Cheng (Michigan State University – East Lansing, US), Robert B. France (Colorado State University, US), Jean-Marc Jézéquel (IRISA / CNRS, FR), Bernhard Rumpe (RWTH Aachen, DE) | Top |
12. – 17. Oktober 2014, Dagstuhl Seminar 14421Optimal algorithms and proofsOlaf Beyersdorff (University of Leeds, GB), Edward A. Hirsch (Steklov Institute – St. Petersburg, RU), Jan Krajicek (Charles University – Prague, CZ), Rahul Santhanam (University of Edinburgh, GB) | Top |
26. – 31. Oktober 2014, Dagstuhl Seminar 14441Modeling, Verification, and Control of Complex Systems for Energy NetworksAlessandro Abate (University of Oxford, GB), Martin Fränzle (Universität Oldenburg, DE), Ian Hiskens (University of Michigan – Ann Arbor, US), Martin Strelec (UWB – Pilsen, CZ) | Top |
27. – 30. Oktober 2014, Dagstuhl Seminar 14442Symbolic Execution and Constraint SolvingCristian Cadar (Imperial College London, GB), Vijay Ganesh (University of Waterloo, CA), Koushik Sen (University of California – Berkeley, US) | Top |
02. – 07. November 2014, Dagstuhl Seminar 14451Optimality and tight results in parameterized complexityStefan Kratsch (TU Berlin, DE), Daniel Lokshtanov (University of Bergen, NO), Dániel Marx (Hungarian Academy of Sciences – Budapest, HU), Peter Rossmanith (RWTH Aachen, DE) | Top |
02. – 07. November 2014, Dagstuhl Seminar 14452Algorithmic CheminformaticsWolfgang Banzhaf (Memorial University of Newfoundland, CA), Christoph Flamm (Universität Wien, AT), Daniel Merkle (University of Southern Denmark – Odense, DK), Peter F. Stadler (Universität Leipzig, DE) | Top |
09. – 14. November 2014, Dagstuhl Seminar 14461High-performance Graph Algorithms and Applications in Computational ScienceUlrich Carsten Meyer (Goethe-Universität – Frankfurt a. M., DE), Henning Meyerhenke (KIT – Karlsruher Institut für Technologie, DE), Ali Pinar (Sandia Nat. Labs – Livermore, US), Ilya Safro (Clemson University, US) | Top |
09. – 12. November 2014, Dagstuhl Seminar 14462Systems and Algorithms for Large-scale Graph AnalyticsDerek Murray (San Francisco, US), Amitabha Roy (EPFL – Lausanne, CH), Eiko Yoneki (University of Cambridge, GB) | Top |
16. – 21. November 2014, Dagstuhl Seminar 14471Towards an Affordable Internet Access for Everyone: The Quest for Enabling Universal Service CommitmentJon Crowcroft (University of Cambridge, GB), Adam Wolisz (TU Berlin, DE) | Top |
23. – 28. November 2014, Dagstuhl Seminar 14481Multiscale Spatial Computational Systems BiologyDavid Gilbert (Brunel University – London, GB), Monika Heiner (BTU Cottbus, DE), Koichi Takahashi (Osaka University, JP), Adelinde M. Uhrmacher (Universität Rostock, DE) | Top |
23. – 28. November 2014, Dagstuhl Seminar 14482Automated Planning and Model CheckingAlessandro Cimatti (Bruno Kessler Foundation – Trento, IT), Stefan Edelkamp (Universität Bremen, DE), Maria Fox (King's College London, GB), Erion Plaku (CUA – Washington, US) | Top |
30. November – 05. Dezember 2014, Dagstuhl Seminar 14491Socio-Technical Security MetricsDieter Gollmann (TU Hamburg-Harburg, DE), Cormac Herley (Microsoft Corporation – Redmond, US), Wolter Pieters (TU Delft, NL & University of Twente, NL), Martina Angela Sasse (University College London, GB) | Top |
30. November – 05. Dezember 2014, Dagstuhl Seminar 14492The synergy between programming languages and cryptographyGilles Barthe (IMDEA Software – Madrid, ES), Michael Hicks (University of Maryland – College Park, US), Florian Kerschbaum (SAP SE – Karlsruhe, DE), Dominique Unruh (University of Tartu, EE) | Top |
14. – 19. Dezember 2014, Dagstuhl Seminar 14511Programming Languages for Big Data (PlanBig)James Cheney (University of Edinburgh, GB), Torsten Grust (Universität Tübingen, DE), Dimitrios Vytiniotis (Microsoft Research UK – Cambridge, GB) | Top |
14. – 19. Dezember 2014, Dagstuhl Seminar 14512Collective Adaptive Systems: Qualitative and Quantitative Modelling and AnalysisJane Hillston (University of Edinburgh, GB), Jeremy Pitt (Imperial College London, GB), Martin Wirsing (LMU München, DE), Franco Zambonelli (University of Modena, IT) | Top |