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