Analysis of mobility data to study and optimise public transports (SEM-AMBSOPT) Academic year: 2013/2014
	Complexity of the Mints hierarchy in first-order intuitionistic logic (SEM-CMHFOIL) Academic year: 2013/2014
	Composition Synthesis based on Combinatory Logic with Intersection Types (SEM-COMSYN) Academic year: 2013/2014
	Connector Synthesis in Combinatory Logic (SEM-CSCL) Academic year: 2013/2014
	Energy aware computer systems and networks (SEM-EACSN) Academic year: 2013/2014
	Foundational principles of reversible and quantum computing (FPRQC2013) Academic year: 2013/2014
	Foundations of communication-centred programming (FCCP2013) Academic year: 2013/2014
	Give Peace a Chance: HCI for Peace? (SEM-PEACE) Academic year: 2013/2014
	Intelligent Decision Support Systems (IDSS2013) Academic year: 2013/2014
	Learning with the Web. Structuring data for easing machine understanding (SEM-LEARNING) Academic year: 2013/2014
	Low-latency and high bandwidth TCP/IP protocol processing through an integrated HW/SW approach (SEM-LLHB) Academic year: 2013/2014
	Phase-based Minimalist Grammars (PMGs) and Top-Down derivations (SEM-PBMG) Academic year: 2013/2014
	Progetti di Ricerca: Finanziamento e Gestione (PRFG) Academic year: 2013/2014
	Rare Event Handling in Statistical Model Checking (SEM-REHSMC) Academic year: 2013/2014
	Serendipità cibernetica: Tape Mark I (SEM-SEREN) Academic year: 2013/2014
	Space Lower Bounds in Algebraic Proof Systems (SEM-SLBAPS) Academic year: 2013/2014
	Specifying Stateful Asynchronous Properties for Distributed Programs (SEM-SAPDP) Academic year: 2013/2014
	Temporal Data Bases (TDB2013) Academic year: 2013/2014
	The ULTraS Framework: New Behavioral Equivalences for Nondeterministic and Probabilistic Processes and Their Spectrum (SEM-ULTRAS) Academic year: 2013/2014
	Trust modeling and user modeling to address social network overload through message recommendation (SEM-TMUMA) Academic year: 2013/2014
	Understanding cascades in complex networks with MANCaLog (SEM-MANCALOG) Academic year: 2013/2014