Academie pro
Profil enseignant
Tassonpp Christine
762 consultations

Mme. Tassonpp Christine
Maitre de Conférences
Université Paris Diderot


Cours 0 Travaux dirigés 1 Travaux pratiques 18 Contrôle continu 0 Examen terminal 0


  • Cours

  • Publications

  • Expérience

  • Certifications

  • Diplomes

Matières : Programmation Web 1

TP 1 - Rudiments d'XHTML


Tp
Télécharger

TP 2 - Encodages, attributs et navigation


Tp
Télécharger

TP 3 - Balises particulières, navigation interne et formulaires.


Tp
Télécharger

TP 4 - Formulaires images et vidéos.


Tp
Télécharger

TP 5 - Feuilles de style


Tp
Télécharger

TP 6 - Feuille de style et page personnelle


Tp
Télécharger

TP 7 PHP


Tp
Télécharger

Tp8 php et pages dynamiques


Tp
Télécharger

TP9 un jeu de puissance php


Tp
Télécharger

TP10 - MySql


Tp
Télécharger

TP11 -MySql et Php


Tp
Télécharger

TP12 -MySql et Php


Tp
Télécharger

TP12 -MySql et Php


Tp
Télécharger


Matières : Mise à niveau Unix et C

TP1 - Prise en main de l’environnement Unix.


Td
Télécharger

TP2 - Emacs, un éditeur de texte.


Tp
Télécharger

TP3 - UNIX, un peu plus loin.


Tp
Télécharger

TP4 - Pour bien démarrer en C.


Tp
Télécharger

TP5 - Boucles en C


Tp
Télécharger

TP6 Corrigé - Révisions


Tp
Télécharger


MSCS On the transport of finiteness structures, avec L. Vaux.
accepté en 2011 pour publication dans Mathematical Stucture of Computer Science.
MSCS An explicit formula for the free exponential modality of linear logic, avec P.-A. Mellies et
N. Tabareau.
accepté en 2011 pour publication dans Mathematical Stucture of Computer Science.
Cahiers A convenient differential category, avec R. Blute et T. Ehrhard.
à paraître depuis 2011 dans Les cahiers de topologie et de géométrie différentielle catégoriques.
Conférences Internationales
LICS11 The computational meaning of probabilistic coherent spaces, avec T. Ehrhard et M. Pagani.
Proceedings of the 26th Symposium on Logic in Computer Science.
TLCA09 Algebraic totality, towards completeness.
Proceedings of the 9th International Conference on Typed Lambda Calculi and Application.
LICS09 The inverse Taylor expansion problem in linear logic, avec M. Pagani.
Proceedings of the 24th Symposium on Logic in Computer Science.
ICALP09 An explicit formula for the free exponential modality of linear logic, avec P.-A. Mellies et
N. Tabareau.
Proceedings of the 36th International Colloquium on Automata, Languages and Programming.
CADE05 Nominal Techniques in Isabelle/HOL, avec C. Urban.
Proceedings of the 20th Conference on Automated Deduction.
Divers
ASL13 Probabilistic coherent spaces are fully abstract, avec T. Ehrhard et M. Pagani.
résumé d’un exposé invité à la sessions spéciale catégories différentielles.
HOR10 Equivalence of algebraic lambda calculi, avec A. Diaz Caro, S. Perdrix, et B. Valiron.
5th workshop on Higher-Order Rewriting.
2010–2013 Maître de conférences, Université Paris Diderot.
2009–2010 Post doctorante, CEA, dans l’équipe MEASI d’Éric Goubault. ATER de mathématiques,   Université Paris Diderot.
2006–2009 Allocataire Monitrice Normalienne, Université Paris-Diderot.
2002–2006 Élève de l’École Normale Supérieure de Cachan.

- 2009 Doctorat d’Informatique, Université Paris Diderot.
   Sous la direction de Pierre-Louis Curien et de Thomas Ehrhard
- 2006 Master Parisien de la Recherche en Informatique, É.N.S. Cachan.
- 2005 Agrégation de Mathématiques.
- 2004 Maîtrise d’informatique, É.N.S. Cachan. Maîtrise de mathématique, É.N.S. Cachan.
- 2002 Admise à l’É.N.S. Cachan.


Livres populaires