~~NOCACHE~~

---- datatemplateentry ----
template: templates:seance
classe: seance
type: Analysis and conception of systems
seminaire: acs
id: 677
date: lundi 07 janvier 2019
heure: 10h30
salle: Salle 3052
nom: Louis Mandel
affiliation: IBM Watson
titre: Reactive Probabilistic Programming
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Analysis and conception of systems
seminaire: acs
id: 545
date: mercredi 14 mars 2018
heure: 14h00
salle: Salle UFR
nom: Thomas Letan
affiliation: Agence Nationale de la Sécurité des Systèmes d’Information & INRIA Rennes
titre: FreeSpec : Modular Verification of Systems using Effects and Effect Handlers in Coq
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Analysis and conception of systems
seminaire: acs
id: 529
date: lundi 19 février 2018
heure: 11h00
salle: Salle 3052
nom: Adrien Boiret
affiliation: University of Warsaw
titre: The "Hilbert Method" for Solving Transducer Equivalence Problems
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Analysis and conception of systems
seminaire: acs
id: 446
date: mercredi 07 février 2018
heure: 14h00
salle: Salle 3052
nom: Hongseok Yang
affiliation: University of Oxford
titre: Informal introduction to integral probability metrics and generative adversarial networks
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Analysis and conception of systems
seminaire: acs
id: 364
date: mardi 28 novembre 2017
heure: 13h30
salle: Salle 3052
nom: Leon Gondelman
affiliation: Institute for Computation and Information Sciences (Radboud Univ.), Netherlands
titre: The Spirit of Ghost Code
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Analysis and conception of systems
seminaire: acs
id: 326
date: mercredi 18 octobre 2017
heure: 14h30
salle: Salle 3052
nom: Nicolas Behr
affiliation: IRIF
titre: The stochastic mechanics of graph rewriting via the rule algebra framework - an introduction
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Analysis and conception of systems
seminaire: acs
id: 244
date: jeudi 08 juin 2017
heure: 14h00
salle: Salle 3052
nom: Eric Goubault
affiliation: LIX, École Polytechnique
titre: A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Analysis and conception of systems
seminaire: acs
id: 265
date: lundi 29 mai 2017
heure: 14h00
salle: Salle 3052
nom: Silvia Crafa
affiliation: Università di Padova
titre: Formal methods in action: typestate-oriented actor programming in Scala-Akka
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Analysis and conception of systems
seminaire: acs
id: 236
date: jeudi 18 mai 2017
heure: 14h30
salle: Salle 3052
nom: Giovanni Bernardi
affiliation: IRIF
titre: Full-abstraction for Must Testing Preorders
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Analysis and conception of systems
seminaire: acs
id: 243
date: mardi 02 mai 2017
heure: 11h00
salle: Salle 3052
nom: Joachim Breitner
affiliation: University of Pennsylvania
titre: Who needs theorem provers when we have compilers?
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Analysis and conception of systems
seminaire: acs
id: 156
date: jeudi 01 décembre 2016
heure: 10h30
salle: Salle 1007
nom: Julien Lange
affiliation: Imperial College
titre: Building Graphical Choreographies From Communicating Machines: Principles and Applications
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Analysis and conception of systems
seminaire: acs
id: 84
date: jeudi 23 juin 2016
heure: 14h30
salle: Salle 1007
nom: Elisabeth Remy
affiliation: Institut de Mathématiques de Luminy
titre: Analyse qualitative des réseaux de régulation génétiques
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Analysis and conception of systems
seminaire: acs
id: 75
date: jeudi 26 mai 2016
heure: 14h30
salle: Salle 1008
nom: Ralf Treinen
affiliation: IRIF
titre: Towards the verification of file tree transformations - the Colis project
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Analysis and conception of systems
seminaire: acs
id: 74
date: jeudi 07 avril 2016
heure: 14h30
salle: Salle UFR
nom: Tobias Heindel
affiliation: University of Copehagen
titre: Computing means and moments of occurrence counts: rule-based modeling meets adaptive uniformization and finite state projection
----