
ComèteParsifal Seminar 

This seminar is organized by both the
Comète
and Parsifal
teams. Talks usually
take place on Tuesdays at 14:30 in La Salle de Reunion de LIX, Ecole Polytechnique and they usually last about one hour. A projector will be available. Instructions on how to get to LIX can be found here.

Calendar
To add this calendar to your applications:
 ICAL: http://www.google.com/calendar/ical/29c3fjjhifkjl9v8s8isapnn6s%40group.calendar.google.com/public/basic.ics
 HTML: http://www.google.com/calendar/embed?src=29c3fjjhifkjl9v8s8isapnn6s%40group.calendar.google.com
RSS Feeds:
2012
2011
2010
2009
2008
2007
2006 2005 2004
2011 
Wed Dec 14, 14:30  Geoffrey Smith 
More Theory and Applications of MinEntropy Leakage 
Wed Dec 07, 14:30  Geoffrey Smith 
Quantifying Information Flow Using MinEntropy 
Fri Oct 22, 10:30  Flavio Garcia 
On the (in)security of widelyused contactless smartcards 
Fri Oct 21, 11:00  Geoffrey Smith 
MinEntropy as a Resource 
Tue Oct 04, 14:30  Marco Stronati 
Calculi and constraints 
Mon Sep 19, 14:30  Myrto Arapinis 
Keeping track of your friends and enemies: privacy threats of new mobile technologies 
Tue Jun 07, 14:30  Romain Beauxis 
The Failure of NoiseBased NonContinuous Audio Captchas 
Fri Mar 11, 14:30  Alexandra Silva 
Sound and Complete Axiomatization of Trace Semantics for
Probabilistic Transition Systems 
Wed Mar 09, 15:00  Alejandro DiazCaro 
Algebraic type systems 
Wed Mar 02, 14:00  Kazunori Ueda 
Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting 
Tue Mar 01, 14:30  Marco Giunti 
On the Effectiveness of Typed Equivalences for Security in Pi Calculus 
Wed Feb 02, 14:45  Gurvan Le Guernic 
CFlow: a securitypreserving cryptographyimplicit compiler for
distributed programs (A Demo with a Pinch of Theory) 
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 DesignbyContract 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  PierreMalo 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 FTcoalgebras!!! 
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 
2009 
Wed Dec 09, 14:30  Paolo Baldan 
Open Petri nets, Compositionality and Asynchrony 
Fri Nov 27, 10:30  Luca Aceto 
A Rule Format for Unit Elements 
Wed Nov 25, 10:00  Jesus Aranda 
On the Expressivity of Infinite and Local Behaviour in Fragments of the Picalculus (Rehearsal PhD talk) 
Fri Nov 13, 15:30  Miguel Andres 
Probabilistic Anonymity and Admissible Schedulers. 
Fri Nov 13, 14:00  Miguel Andres 
Computing the Leakage of InformationHiding Systems 
Mon Nov 02, 14:30  Yuri Gurevich 
The ChurchTuring Thesis: Story and Recent Progress 
Wed Oct 14, 14:30  Brigitte Pientka 
Beluga: programming with dependent types and higherorder data 
Wed Sep 30, 10:30  Ugo Montanari 
A Minimization Algorithm for Symbolic Bisimilarity 
Tue May 26, 14:30  Miguel Andres 
Conditional Probabilities over Probabilistic and Nondeterministic Systems 
Tue May 12, 14:30  Kai Bruennler 
Nested Sequents 
Tue May 05, 14:30  Joachim Parrow 
Three holy grails of programming models 
Fri Apr 03, 14:30  Pawel Sobocinski 
An introduction to the wire calculus 
Tue Mar 17, 14:30  Balaji Raman 
ApplicationSpecific Workload Shaping in ResourceConstrained Media Players 
Wed Mar 04, 14:30  Andrew Gacek 
A Framework for Specification, Prototyping, and Reasoning 
Wed Feb 11, 14:30  Marzia Buscemi 
A concurrent constraint picalculus: an overview. 
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 picalculus 
Tue Nov 04, 14:30  Alessio Guglielmi 
Proof Identity, Proof Complexity and Deep Inference 
Tue Oct 21, 11:00  Stefan Hetzl 
On the nonconfluence of cutelimination 
Fri Oct 03, 14:30  Stefan Haar 
Partial Orders are good for you ! 
Mon Sep 15, 13:30  Linda Postniece 
Cutelimination and Proofsearch for BiIntuitionistic Logic Using Nested Sequents 
Mon Sep 15, 14:25  Revantha Ramanayake 
Valentini's cutelimination 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 MultiAgent Systems 
Fri Jun 13, 14:30  Jorge A. Perez 
On the Expressiveness and Decidability of HigherOrder 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 AlphaEquivalence 
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 higherorder 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 NonAssociative Lambek Grammars

Tue Jan 15, 14:00  Kosta Dosen 
Théorie Générale de la Démonstration

2007 
Tue Nov 20, 14:00  Simon Kramer 
Towards Interactive Belief, Knowledge, and Provability:
Possible Application to ZeroKnowledge Proofs
 Thu Nov 15, 14:00  Antonino Salibra 
Algebra and topology in lambda calculus
 Mon Oct 29, 14:00  Michael Mislove 
Probabilistic Input/Output Automata From a Domaintheoretic Perspective
 Mon Oct 22, 14:00  Andrea Turrini 
Security Protocol Verification with Probabilistic Automata
 Thu Oct 11, 14:00  Nicolas Guenot 
MultiFocusing in Deep Inference
 Thu Oct 05, 10:30  Simon Kramer 
Animation and Knowledge Programming for the Timed Calculus of Cryptographic Communication
 Tue Oct 02, 14:00  Simon Kramer 
The Intended and Actual Meaning of a Cryptographic Message and Protocol
 Tue Jun 19, 14:00  Cosimo Laneve 
The must preorder revisited  an algebraic theory for web services contracts
 Tue Jun 12, 14:00  Josef Widder 
Consensus in the Presence of Value Faults
 Thu Jun 07, 15:00  Daniele Varacca 
Event structure semantics of the picalculus
 Mon Jun 04, 15:00  Vladimiro Sassone 
A Bayesian model for eventbased trust
 Thu May 31, 14:00  Kaustuv Chaudhuri and Joelle Despeyroux 
A Hybrid Temporal Logical Framework for Systems Biology
 Tue May 29, 14:00  Alexandre Miquel 
The experimental effectiveness of mathematical proofs . 
Tue May 22, 14:30  Jean Krivine 
A platform for the Simulation and analysis of bio molecular systems in the kappacalculus. 
Thu May 10, 14:30  Arne Glenstrup 
Implementing Matching of Binding Bigraphs. 
Thu May 3, 14:30  Robin Milner 
An Introduction to Bigraphs. 
Tue Mar 13, 14:00  Ichiro Hasuo 
Probabilistic Anonymity via Coalgebraic Simulations. 
Wed Feb 14, 15:00  Daniele Gorla 
On the Relative Expressive Power of Calculi for Mobility. 
Abstracts
2012
2011
2010
2009
2008
2007
2006 2005 2004
Page maintainer:
Andres A. Aristizabal P.
