seminaire PPS *mardi* 30/3, 14h, salle 0C02

Chers tous,
cette semaine, le seminaire PPS est

le *mardi* 30 Mars, 14h (en salle 0C02):

David Baelde (University of Minnesota, USA)

Finite automata and regular fixed point formulas in muMALL

http://www.pps.jussieu.fr/seminaire/

Abstract:
We present muMALL, an extension of multiplicative additive linear logic
with least and greatest fixed points, and illustrate its expressiveness
through the model-checking problem of non-deterministic finite automata
inclusion.

We consider encoding automata as least fixed points in muMALL, and use its
general induction scheme to reason about them. We provide a coinductive
characterization of inclusion that yields a natural bridge to
proof-theory. This yields a completeness theorem, but can also be
generalized to the fragment of "regular formulas", obtaining new insights
about inductive theorem proving and cyclic proofs in particular.

seminaire PPS *mardi* 30/3, 14h, salle 0C02

Chers tous,
le prochaine seminaire PPS va etre le
le *mardi* 30 Mars, 14h (en salle 0C02)

David Baelde (University of Minnesota, USA)

Finite automata and regular fixed point formulas in muMALL

http://www.pps.jussieu.fr/seminaire/

Abstract:
We present muMALL, an extension of multiplicative additive linear logic
with least and greatest fixed points, and illustrate its expressiveness
through the model-checking problem of non-deterministic finite automata
inclusion.

We consider encoding automata as least fixed points in muMALL, and use its
general induction scheme to reason about them. We provide a coinductive
characterization of inclusion that yields a natural bridge to
proof-theory. This yields a completeness theorem, but can also be
generalized to the fragment of "regular formulas", obtaining new insights
about inductive theorem proving and cyclic proofs in particular.

GdT Quantum Computing

Chers tous,

on a mis en place un GdT 'Quantum Computing',
en profitant de la presence de Benoit Valiron a pps.

Voici le calendrier des séances (a noter la salle) :

Quantum algorithms:
lundi 29/3 14.30-16.30 salle 0D01
mardi 6/4 14.30-16.30 salle *0C08*
mardi 13/4 14.30-16.30 salle 0D01

Q. programming languages and semantics:
mardi 4/5 14.30-16.30 salle 0D01
mardi 11/5 14.30-16.30 salle 0D01

A lundi,

claudia

correction salle/horaire, seminaire PPS 18/3

Bonjour.

Pour le seminaire du Jeudi 18 Mars,
la seance de l' après-midi sera en commun avec la GDT concurrence.
Remarquez la salle et l'horaire:

14h30 salle 6A92 .

Le programme du 18 Mars est donc:

11h, salle 3E91- Daniel de Carvalho (LIPN),

14h30, salle 6A92 (sous-marin) Sylvain Pradalier (Inria Rocquencourt),

Le résumé des deux exposés sont sur le site

https://www.pps.jussieu.fr/seminaire/

A jeudi!

Claudia

> Chers tous,
> pour le prochaine seminaire PPS,
> Jeudi 18 Mars, on va avoir une double seance:
>
> 11h Daniel de Carvalho (LIPN),
> La sémantique relationnelle de la logique linéaire est-elle
> injective?
>
> 14h Sylvain Pradalier (Inria Rocquencourt),
> Approximation, optimization and synthesis of stochastic processes
>
>
> Le résumé des deux exposés sont sur le site
>
> https://www.pps.jussieu.fr/seminaire/
>
> A jeudi
>
> Claudia
>
>
>
>

seminaire PPS Jeudi 18/3 -double seance

Chers tous,
pour le prochaine seminaire PPS,
Jeudi 18 Mars, on va avoir une double seance:

11h Daniel de Carvalho (LIPN),
La sémantique relationnelle de la logique linéaire est-elle
injective?

14h Sylvain Pradalier (Inria Rocquencourt),
Approximation, optimization and synthesis of stochastic processes

Le résumé des deux exposés sont sur le site

https://www.pps.jussieu.fr/seminaire/

A jeudi

Claudia

GdT Quantum Computing, mardi 2 Mars 14.30, salle 1C18

Chers tous,

un petit rappel pour ceux qui ont envie de venir:

la premiere seance du notre GdT 'Quantum Computing' est demain,
mardi le 2 Mars, a 14.30,
salle 1C18 ( Chevaleret).

Benoit Valiron va nous introduire les outils mathematiques, et on va
decider ensemble le programme.

claudia