Advanced Tools and Techniques for the Specification and Verification of Systems with Elevated Granularity



CNR-RSTL project
FM&&T group  CNR-ISTI
Pisa, IT
November 15th, 2011.

  • Project Coordinator
  •   M.Massink AT isti.cnr.it

Past Events

  • XXL preliminary meeting - ISTI, May 20, 2008
  • Engineering Interactive Systems 2008, Pisa, Italy, 25-26 September 2008. Presentation: M. Massink, ‘A Fluid Flow Approach to Usability Analysis of Multi-user Systems’. Joint work with Maurice ter Beek, Diego Latella, Michael Harrison and Michele Loreti. Published in Lecture Notes in Computer Science 5247, Springer-Verlag, Berlin, 2008, pp. 166 - 180.
  • XXL kick-off meeting - ISTI, Room 29, Oct. 1, 2008. Presentations by Mieke (PEPA-ODE) and Tommaso (NKS).
  • NKS 2008 Midwest Conference 2008, Bloomington, Indiana. Oct. 31 - Nov. 2, 2008. Presentation: T. Bolognesi, ‘A notion of time in discrete universes created by network mobile automata’.
  • XXL brainstorm meeting - ISTI, Room 29, Nov. 10, 2009.
  • XXL brainstorm meeting (continuation) - ISTI, Room C29, Nov. 25, 2009.
  • XXL: 21 April, 2009, ISTI, Room I6, 11.00-13.00. Seminar: T. Bolognesi, ‘The natural universe as a computational universe: challenges in digital quantum gravity’.
  • XXL organisational meeting: 21 April, 2009. ISTI-FMT Lab. 15.00-17.00.
  • JOUAL Workshop, CNR-ISTI, Pisa, Italy. July 10-11, 2009. ‘Just One Universal Algorithm’: Experiments with emergence in computational systems modeling spacetime and nature. T. Bolognesi workshop coordinator.
  • FMIS2009 Workshop, Eindhoven, The Netherlands. November 2, 2009. Formal Methods for Interactive Systems. M. Massink and M. Harrison workshop chairs. Satellite workshop of FM2009.
  • XXL: project meeting - ISTI, Room 29, 10.00-15.00, 2009. Presentations by Tommaso Bolognesi, Andrea Bracciali, Stefania Gnesi, Mieke Massink.
  • VAMOS2010 Workshop, Linz, Austria. Presentation by Maurice ter Beek on "A deontic logical framework for modelling product families", 2010.
  • XXL: project meeting - ISTI, Room 29, 14:00-17:00, 2010. Presentations by Mieke Massink (Fluid Flow Approximation of Emergent Behaviour of Crowds in a City), Andrea Bracciali (Reconciling Population and Agent Models for Crowd Dynamics), Maurice ter Beek (A Logical Framework for the Modelling and Analysis of Product Families).
  • LAM2010 Workshop, Presentation by Andrea Bracciali on "Reconciling Population and Agent Models for Crowd Dynamics", July 15, University of Edinburgh, 2010
  • PASTA 2010 Workshop. Keynote Lecture by Mieke Massink on "Modelling Crowd Dynamics in Bio-PEPA". London, Imperial College, UK, September 6, 2010.
  • SEFM 2010 Conference. Presentation by Mieke Massink on "A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis", Pisa, Italy, September 15, 2010.
  • DICE 2010 Workshop. Presentation by Tommaso Bolognesi on "Causal sets from simple models of computation", Castiglioncello, Italy, September 16, 2010.
  • iFM Conference. Presentation by Stefania Gnesi on "A Logical Framework to Deal with Variability", 12 October, Nancy, France, 2010.
  • XXL Seminar at ISTI, 18 October 2010: Alexander Lamb, Freelance, Berkely, USA,  Discrete Physics and Computation.
  • XXL Seminar at ISTI, 19 October 2010: Dr. Luca Bortolussi, University of Trieste, Comparing fluid and mean field approximation of Markov Chains.
  • XXL Seminar at ISTI, 20 October 2010: Dr. Luca Bortolussi, University of Trieste, More on fluid and mean field approximation of Markov Chains.
  • QAPL11 Workshop. Quantitative Aspects of Programming Languages. Mieke Massink and Gethin Norman (Co-chair). 1-3 April 2011, Saarbrueken, Germany. Co-located with ETAPS 2011.
  • XXL Seminar series at ISTI, October-November 2011: Prof. Erik de Vink, Technical University of Eindhoven, on self-adaptation, stochastic model checking in biology and themes from applied category theory.

Last update: November 15, 2011