Computer Science Seminars Series 


  • [04/03/2015] Barbara Osimani (ERC Starting Grant 2015), Evidence amalgamation for safety assessment in pharmacology: categorical vs. probabilistic approaches
  • [18/032015] Leonardo Mostarda (Unicam), Programming and verifying wireless sensor networks and actuators

  • [01/04/2015] Luca Tesei (Unicam), Multi-scale modelling, simulation and verification of populations

  • [22/04/2015] Barbara Re (Unicam)Enabling Flexibility in Process-Aware Information Systems

  • [29/04/2015] Orhan Gemikonakli (Middlesex University)Current Trends in ICT and Telecommunications

  • [21/05/2015] Knut Hinkelmann (FHNW), Integrating OMG standard into a meta-model for knowledge processes

  • [03/06/2015] Lorenzo Bettini (University of Torino), Implementing Type Systems for the IDE with Xsemantics

  • [01/07/2015] Rucco Matteo (Unicam), Topological-based modeling of complex systems
  • [23/08/2015] Rosario Culmone (Unicam), Design patterns and metaprogramming
  • [07/10/2015] Anderea Polini (Unicam),An Operational Semantics of BPMN Collaboration
  • [21/10/2015] Björn Þór Jónsson (Reykjavík University), Scalability of High-Dimensional Indexing
  • [04/11/2015] Rafael Brundo Uriarte (IMT), Integrating Multiple Sources for Knowledge Building in Autonomic Clouds
  • [24/11/2015] Diletta Romana Cacciagrano (Unicam) An example of expressiveness study: Separation of synchronous and asynchronous communication via testing 
  • [03/02/2016] Corradini Flavio (Unicam), From Automata Theory to Process Theory
  • [29/04/2016] Nobuko Yoshida and Rumyana Neykova (Imperial College), Multiparty Session Types And Their Applications (with a live demo)
  • [07/06/2016] Andrea Margheri (University of Firenze), A Practical Framework for Specification, Analysis and Enforcement of Attribute-based Access Control Policies