| 2010 |
| Mon Nov 29, 10:30 | Rohit Chadha |
Model Checking Concurrent Programs with Nondeterminism and Randomization |
| Fri Nov 12, 16:45 | Filippo Bonchi |
Concurrency Cannot Be Observed, Asynchronously |
| Fri Oct 22, 10:30 | Romain Demangeon |
Termination for concurrent processes |
| Fri Aug 27, 16:30 | Miguel Andres |
Information Hiding in Probabilistic Concurrent Systems |
| Fri Aug 27, 15:00 | Kohei Honda |
A Theory of Design-by-Contract for Distributed Multiparty Interactions |
| Fri Aug 27, 11:30 | Mario S. Alvim, Miguel Andres and Catuscia Palamidessi |
Information Hiding in Probabilistic Concurrent Systems |
| Fri Aug 27, 10:30 | Pierre-Malo Denielou |
Parameterised Multiparty Session Types |
| Thu Jul 01, 10:30 | Carroll Morgan |
Noninterference, probability, Bayes Risk and compositionality |
| Fri May 28, 14:30 | Luis Fernando Pino |
Basic Concepts on Well Structured Transition Systems |
| Tue Apr 27, 10:00 | Jan Rutten, Filippo Bonchi and Ivan Gazeau |
(Linear) Weighted Automata, algorithms and an application for bounding errors |
| Mon Apr 26, 14:30 | Alexandra Silva and Marcello Bonsangue |
Adding expressivity to Coalgebra Theory: all the equivalences of FT-coalgebras!!! |
| Mon Apr 26, 10:00 | Catuscia Palamidessi and Mario Alvim |
From Information Theory to Kantorovich Metric: an application to anonimity and leakage |
| Tue Mar 23, 10:30 | Jeremy Avigad |
Decision procedures, heuristic procedures, and formally verified mathematics |
| Wed Mar 10, 15:00 | Cienzia Di Giusto |
On the Computational Strenght of Higher Order and Passivation |
| 2008 |
| Wed Dec 09, 14:30 | Paolo Baldan |
Celf: An implementation of the concurrent logical framework CLF.
|
| Tue Dec 02, 14:30 | Romain Beauxis and David Baelde |
Focusing in the asynchronous pi-calculus |
| Tue Nov 04, 14:30 | Alessio Guglielmi |
Proof Identity, Proof Complexity and Deep Inference |
| Tue Oct 21, 11:00 | Stefan Hetzl |
On the non-confluence of cut-elimination |
| Fri Oct 03, 14:30 | Stefan Haar |
Partial Orders are good for you ! |
| Mon Sep 15, 13:30 | Linda Postniece |
Cut-elimination and Proof-search for Bi-Intuitionistic Logic Using Nested Sequents |
| Mon Sep 15, 14:25 | Revantha Ramanayake |
Valentini's cut-elimination for provability logic resolved |
| Thu Jul 24, 16:00 | Yuxi Fu |
Expressiveness of pi and CCS |
| Thu Jul 24, 15:00 | Yuxin Deng |
Testing Probabilistic Processes |
| Tue Jun 17, 14:30 | Simon Kramer |
Reducing Provability to Knowledge in Multi-Agent Systems |
| Fri Jun 13, 14:30 | Jorge A. Perez |
On the Expressiveness and Decidability of Higher-Order Process Calculi |
| Mon Jun 16, 14:30 | Roberto Bagnara |
On the Design of Generic Static Analyzers for Imperative Languages |
| Thu May 29, 11:00 | Maribel Fernandez |
Nominal Matching and Alpha-Equivalence |
| Wed May 14, 16:00 | Simon Kramer |
A General Definition of Malware |
| Tue Apr 08, 14:30 | Carlos Olarte |
On the Expressive Power of Universal Timed Concurrent Constraint Programming
|
| Tue Apr 01, 14:30 | Luca Fossati |
A Petri Net Model of Handshake Circuits
|
| Tue Mar 25, 14:30 | Jesus Aranda |
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
|
| Tue Mar 18, 14:30 | Kazushige Terui |
Computational Ludics
|
| Thu Mar 13, 10:30 | Christelle Braun |
Overview on Quantum Computation and Quantum Information Theory
|
| Thu Feb 28, 14:30 | Noam Zeilberger |
Focusing with higher-order rules
|
| Fri Feb 22, 14:00 | Daniele Gorla |
Towards a Unified Approach to Encodability and Separation Results
for Process Calculi |
| Tue Feb 19, 14:00 | Romain Beauxis |
A probabilistic powerdomain extension for the concurrent constraint
programming
|
| Tue Jan 22, 14:00 | Matteo Capelletti |
Parsing with Non-Associative Lambek Grammars
|
| Tue Jan 15, 14:00 | Kosta Dosen |
Théorie Générale de la Démonstration
|
