seminaire PPS, jeudi 3/2 (11h, salle **1C18**)

Chers tous, la prochaine séance du séminaire PPS est jeudi prochain (a noter **la salle inhabituelle** !!!): Jeudi 3 Fevrier 11h salle 1C18 – Benoît Valiron (LIPN, Paris13), Quantum computation and algebraic lambda-calculus: A vectorial type system https://www.pps.jussieu.fr/seminaire/sem2010/abstracts/valiron a bientot claudia

seminaire PPS, jeudi 27/1 (11h, salle 0C02)

Chers tous, la prochaine séance du séminaire PPS est jeudi prochain, Jeudi 27 Janvier, 11h salle 0C02:  Matthias Baaz (University of Technology, Vienna), Towards a Proof Theory of Analogical Reasoning http://www.pps.jussieu.fr/seminaire/sem2010/abstracts/baaz A bientot, claudia

cours de Peter Selinger *Quantum programming languages and logical approaches to quantum information theory*

Chers tous,
je vous transmets l'annonce d'un cours de Peter Selinger, sur

*Quantum programming languages and logical approaches to quantum
information theory*

qui peut interesser plusieurs d'entre vous.

(donc: pas de seminaire le jeudi 10 et 17 fevrier)

Claudia

--- On Fri, 1/14/11, Michele Pagani <michele.pagani@lipn.univ-paris13.fr>
wrote:

From: Michele Pagani <michele.pagani@lipn.univ-paris13.fr>
Subject: Corso Selinger
To: "Claudia Faggian" <claudia.faggian@pps.jussieu.fr>
Date: Friday, January 14, 2011, 6:09 PM

Bonjour,

À l'occasion de sa visite au LIPN en février, Peter Selinger donnera un
mini-cours (7h) sur

*Quantum programming languages and logical approaches to quantum
information theory*

Les séances prévues sont:

Lundi 7 Fev, 13h30-15h00
Jeudi 10 Fev, 10h00-12h00
Lundi 14 Fev, 13h30-15h00
Jeudi 17 Fev, 10h00-12h00

Le cours aura lieu en salle B311 du LIPN (Institut Galilee, Paris 13).

Vous trouverez des instructions pour venir à Paris 13, ici:
http://www-galilee.univ-paris13.fr/ig_acces.htm
et un plan du campus de Paris 13 ici:
http://www-galilee.univ-paris13.fr/fichiers/plan_campus.pdf (le bâtiment B
de l'Institut Galilee est celui à cote du numéro 2, la salle B311 est au
3eme étage).
Si quelqu'un nécessite de plus d'informations (pour venir à Paris 13, pour
trouver un logement), qu'il n'hésite pas à me contacter directement.

A bientôt, donc !

Michele

--
Michele Pagani
Maître de Conférences
Laboratoire d'Informatique de Paris Nord
Université de Paris 13
http://www-lipn.univ-paris13.fr/~pagani/
--------------------------------------

cours de Peter Selinger *Quantum programming languages and logical approaches to quantum information theory*

Chers tous, je vous transmets l'annonce d'un cours de Peter Selinger, sur  *Quantum programming languages and logical approaches to quantum information theory* qui peut interesser plusieurs d'entre vous. (donc: pas de seminaire le jeudi 10 et 17 fevrier) Claudia --- On Fri, 1/14/11, Michele Pagani <michele.pagani@lipn.univ-paris13.fr> wrote: From: Michele Pagani <michele.pagani@lipn.univ-paris13.fr> Subject: Corso Selinger To: "Claudia Faggian" <claudia.faggian@pps.jussieu.fr> Date: Friday, January 14, 2011, 6:09 PM Bonjour, À l'occasion de sa visite au LIPN en février, Peter Selinger donnera un mini-cours (7h) sur *Quantum programming languages and logical approaches to quantum information theory* Les séances prévues sont: Lundi 7 Fev, 13h30-15h00 Jeudi 10 Fev, 10h00-12h00 Lundi 14 Fev, 13h30-15h00 Jeudi 17 Fev, 10h00-12h00 Le cours aura lieu en salle B311 du LIPN (Institut Galilee, Paris 13). Vous trouverez des instructions pour venir à Paris 13, ici: http://www-galilee.univ-paris13.fr/ig_acces.htm et un plan du campus de Paris 13 ici: http://www-galilee.univ-paris13.fr/fichiers/plan_campus.pdf (le bâtiment B de l'Institut Galilee est celui à cote du numéro 2, la salle B311 est au 3eme étage). Si quelqu'un nécessite de plus d'informations (pour venir à Paris 13, pour trouver un logement), qu'il n'hésite pas à me contacter directement. A bientôt, donc ! Michele -- Michele Pagani Maître de Conférences Laboratoire d'Informatique de Paris Nord Université de Paris 13 http://www-lipn.univ-paris13.fr/~pagani/ --------------------------------------

Rappel: le seminaire PPS demain matin 11h !

Bonjour, la prochaine séance du séminaire PPS c'est demain:

Jeudi 13 Janvier, 11h salle 0C02 – Olivier Danvy (BRICS, Aarhus),

Small-step and Big-step Aspects of Computation (A Walk in the Semantic Park)

--  Jean Krivine  Laboratoire PPS CNRS & Université Paris 7 Case 7014 75205 PARIS Cedex 13 FRANCE (W) +33 1 44 27 86 79 (M) +33 6 16 25 49 45