Conference Program

8 OCTOBER

08:30-09:15 Registration

09:15-09:30 Welcome and introduction:

• Christine Choppy, University Paris 13, France.
• Bertrand Meyer, President of Informatics Europe, ETH-Zurich, Switzerland.

09:30-11:00 Keynotes:
Session chair: Jørgen Staunstrup, IT U. of Copenhagen, Denmark

• 09:30-10:15 - Khalil Rouhana, European Commission, DG INFSO, Head of Unit, Strategy for ICT research and innovation
  An EU strategy for ICT research and innovation: raising the game
  [Slides]
• 10:15-11:00 - Alain Finkel, ENS de Cachan, France
  Mental Imagery in Computer Science
  [Slides]

11:00-11:30 Coffee break

11:30-13:00 Keynotes:
Session chair: Frédéric Benhamou, Université de Nantes

• 11:30-12:15 - Mark Harris, Intel
  The role of Informatics in addressing the Big Global Challenges
  [Slides]
• 12:15-13:00 - Alain Berthoz, College de France, French Academy of Sciences
  New frontiers between Informatics, Robotics and Cognitive Neuroscience

13:00-14:30 Lunch

14:30-15:15 Keynote:
Session chair: Jan van Leeuwen, University of Utrecht, the Netherlands
Wendy Hall, President of the ACM, Fellow of the Royal Society, University of Southampton
What is Web Science and why is it important?

15:15-15:45 Coffee break

15:45-17:15 Parallel sessions

Session I: Multidisciplinary Curricula
Session chair: Antoine Petit, INRIA, Paris - Rocquencourt, France

• Models in Law - A multidisciplinary project in the second cycle R&D program of the BME Innovation and Knowledge Centre of Information Technology
  Karoly Kondorosi, Budapest University of Technology and Economics, Hungary
  [Slides]
• A Graduate Program in Business Informatics: Experiences at the University of Pisa
  Antonio Albano, Salvatore Ruggieri, University of Pisa, Italy
  [Slides]
• Teaching Logic Programming Tools for Interdisciplinary Computing
  Gemma Bel-Enguix, Rovira i Virgili University, Spain
  Veronica Dahl, Simon Fraser University, Canada
  M. Dolores Jiménez-Lopez
  [Slides]
• Multidisciplinary research projects feeding master curricula
  Dan Cristea, Dorel Lucanu, Alexandru Ioan Cuza University of Iasi, Romania
  [Slides]

Session II:Teaching Informatics
Session chair: Hans-Ulrich Heiss, TU Berlin, Germany

• Professional Doctorate Program for Software Architects
  J.C.M. Baeten, K. M. van Hee, H.T.G. Weers, Eindhoven University of Technology, Netherlands
  [Slides]
• Student diversity in CS1
  Michela Pedroni, ETH Zurich, Switzerland
  Manuel Oriol, University of York, United Kingdom
  Bertrand Meyer, ETH Zurich, Switzerland
  [Slides]
• Resilient Computing: a multi-disciplinary MSc Curriculum
  Luca Simoncini, University of Pisa, Italy
  [Slides]

Session III:Multidisciplinary research; Evaluation
Session chair: Enrico Nardelli, Università di Roma "Tor Vergata" and GRIN

• Principles of Integrative Environmental Simulations
  Rolf Hennicker, Sebastian Bauer, Stephan Janisch, Matthias Ludwig, Ludwig-Maximilians-Universität München, Germany
  [Slides]
• IMPROVE, a Large Research Project on Chemical Engineering Design Processes, or Is Joint Research with Engineers Attractive for Computer Scientists?
  Manfred Nagl, RWTH Aachen, Germany
  [Slides]
• Energy Informatics - Computer Science for Power and Energy Systems of the Future
  Martin Leucker, Martin Sachenbacher, Technische Universität München, Germany
  [Slides]
• Is peer review any good? An analysis framework and large-scale experiments
  Fabio Casati, Maurizio Marchese, Azzurra Ragone, Matteo Turrini, Universita degli studi di Trento, Italy

18:00-19:45 Reception and Launch of ACM Europe

20:00-22:15 Conference dinner

9 OCTOBER

08:30-9:00 Registration

09:00-10:30 Keynotes:
Session chair: Bertrand Meyer, ETH Zurich, Switzerland

• 09:00-09:45 - Joseph Sifakis, Turing Award 2007, CNRS, France
  Embedded Systems Design – Scientific Challenges and Work Directions
  [Slides]
• 09:45-10:30 - Yrjö Neuvo, European Institut for Innovation and Technology board
  Research, Education and Business - European Institute of Innovation and Technology

10:30-11:00 Coffee break

11:00-12:30 Panel: What Kind of Interactions Between Informatics and the Other Sciences?
Moderator: Jan van Leeuwen, University of Utrecht, the Netherlands
Panelists:

• Wendy Hall , President of the ACM, Fellow of the Royal Society, University of Southampton
• Bertrand Meyer, ETH Zurich, Switzerland
• Yrjö Neuvo, European Institut for Innovation and Technology board
• Erik Sandewall, Linköping University, Sweden
• Joseph Sifakis, Turing Award 2007, CNRS, France

12:30-14:00 Lunch

14:00-15:30 Keynotes:
Session chair: Christine Choppy, Paris 13, France

• 14:00-14:45 - Marko Tadic, University of Zagreb, Croatia
  Language Technologies: a Happy Marriage between Linguistics and Informatics
  [Slides]
• 14:45-15:30 - Georg Gottlob, University of Oxford, UK
  Computer Science as the Continuation of Logic by other Means
  [Slides]

15:30-16:45 Informatics Europe initiatives:

• Data Collection
  Bertrand Meyer & Minh Tran
• Department Evaluation: a service from Informatics Europe?
  Letizia Tanca , Politecnico di Milano, Italy
• Presentation of the EQANIE initiative
  Hans-Ulrich Heiss, Technical Universität Berlin, Germany

16:45-17:00 Closing Remarks:
Christine Choppy, University Paris 13, France.

17:00-17:15 Coffee break

17:15-18:30 Informatics Europe - General Assembly
Chair: Bertrand Meyer,
President of Informatics Europe, ETH-Zurich, Switzerland.