You are here
Events archive
20 December 2011
Session types and contracts are two formalisms used to study client-server interactions. In this...
16 December 2011
Un convegno di IMT per analizzare il patrimonio storico-artistico di Lucca tra passato e futuro. L...
1 December 2011
Operational semantics describes the behaviour of programs in a language in terms of their execution...
23 November 2011
FastFlow is a programming framework specifically targeting multi- and many-cores architetcures. It...
16 November 2011
Model checking is one of the most successful formal techniques for the verification of software and...
26 October 2011
Important progresses in medicine and healthcare has been made during the last century. The duration...
20 October 2011
In rhopi every step can always be undone, and each process freely moves back and forward. To make...
12 October 2011
The notion of reversible computation is attracting increasing interest because of its applications...
6 October 2011
In this talk, I propose a functional framework to understand the emergence of intelligence in...
6 October 2011
For papers see www.cramton.umd.edu/papers/health-care
5 October 2011
In distributed systems, the traditional way of enforcing security is by means of access control...
4 October 2011
For papers see www.cramton.umd.edu/papers/electricity and www.cramton.umd.edu/papers/climate
27 September 2011
The critique of constitutions as mere parchment barriers is as old as the practice of writing them...
18 July 2011
Discussants: Guido Caldarelli (Institute for Complex Systems, CNR & Università degli Studi di...
8 July 2011
We document an empirical relationship between the cross-country adoption of technologies and the...
5 July 2011
The experience of art in urban space represents a very special case in the area of the studies of...
29 June 2011
We introduce the problem of Model Repair for Probabilistic Systems as follows. Given a...
28 June 2011
We analyze the relationship between offshoring and the onshore workforce composition in German...
23 June 2011
The aim of this seminar is to present the EEC/EU cooperation policy with the African states from...
17 June 2011
A language is "higher-order" if program code can be passed around, that is, terms of the language...
9 June 2011
Poppers theory of progress in science was originally a simple theory about the logic of all...
8 June 2011
The Statistical Physics of Disordered Systems offers an incredible wealth of theoretical and...
3 June 2011
Abstract: "In this talk, I will discuss the evolution of Computer Science and in particular its...
27 May 2011
Decennale di Ventunesimo Secolo, Rivista di studi sulle transizioni
25 May 2011
Spatial interdependence is ubiquitous and central substantively and theoretically across social...
9 May 2011
We present evidence consistent with the Schumpeterian view that financial systems play a key role...
3 May 2011
Structural realism is arguably one of the most influential movements to have emerged in philosophy...
27 April 2011
Service-based applications are considered a promising technology since they are able to offer...
15 April 2011
PROGRAMMA DEI LAVORI - Indirizzi di saluto: Alberto Del Carlo (Presidente, Fondazione Banca del...
13 April 2011
A Markovian bisimulation equivalence has been defined for sequential processes, which is weak in...
13 April 2011
In this seminar we focus on material culture, specifically how the physical properties of objects...
11 April 2011
In this seminar we explore the links between social structure and culture by looking at the...
6 April 2011
The Markovian behavioral equivalences defined so far treat exponentially timed internal actions...
5 April 2011
The extreme right-wing movement Croix de Feu and its leader Colonel de La Rocque are perhaps the...
22 March 2011
The main objective of this seminar is to outline a roadmap for the definition of the vision of the...
9 March 2011
This talk gives an overview of recent research concerning the use of stochastic process algebras...
24 February 2011
Presentazione dei Risultati di Te.Be. Tecnologie e Beni Culturali - Progetto di Fattibilità per lo...
11 February 2011
Mario Botta, architect of international acclaim and recipient of the Grand Officer award from...
29 January 2011
Saluti: Fabio Pammolli (Direttore, IMT Alti Studi Lucca); Paolo Mencacci (Accademia Lucchese di...