- QUANTICOL Industrial Engagement Event to be held in Lucca on 24th May 2107.
- The FORECAST workshop in Vienna in July 2016.
- QUANTICOL Spring School in Bertinoro in June 2016
- The QUANTICOL Bus Simulator is available at http://pepa.inf.ed.ac.uk:3000 [Posted 23/1/2016]
- Probabilistic predictions in bike-sharing systems [Posted: 18/1/2016]
- Modelling the impact of speed limit changes on public transport [Posted: 14/1/2016]
- QUANTICOL Spring School in Bertinoro [Posted: 14/1/2016]
- QUANTICOL at the FoCAS Video Sprint [Posted: 14/1/2016]
- DisCoTec 2015 Best Paper Award to Alberto Lluch Lafuente, Michele Loreti and Ugo Montanari for A Fixpoint-based Calculus for Graph-shaped Computational Fields.
- QUANTICOL Language meeting in Edinburgh [Last edit: 23/Nov/2014]
- First QUANTICOL Project Review in Lucca [Last edit: 25/July/2014]
- Specifying and Verifying Properties of Space [Posted: 26/May/2014]
- The QUANTICOL analysis pathway [Posted: 2/May/2014]
- Model-checking Edinburgh buses [Posted: 13/Jan/2014]
Events
Management
- Wiki
- Mailing lists (Requires login)
- SVN Repository (Requires login)
Downloads
Software