 |
Catuscia Palamidessi
Director of Research at INRIA Leader of the equipe Comète
|
Publications [html ,
pdf] , Curriculum Vitae [html ,
pdf]
Journals:
MSCS,
TPLP,
ENTCS,
JFLP.
Associations:
EATCS,
ALP,
PPDP.
Projects:
ANR blanc CPP,
ANR blanc Panda,
Printemps.
Programs:
ANR,
DREI,
Égide,
PAI,
INRIA offers for Postdocs and PhD positions.
TGC 2013.
8th International Symposium on Trustworthy Global Computing. Buenos Aires, Argentina, 30-31 August 2013.
ICALP 2013.
Track B. 40th International Colloquium on Automata, Languages and Programming. Riga, Latvia, 8-12 July 2013.
CSF 2013.
26th IEEE Computer Security Foundations Symposium. Tulane University, New Orleans, Louisiana, USA, 26-28 June 2013.
LICS 2013.
28th Annual ACM/IEEE Symposium on Logic in Computer Science. Tulane University, New Orleans, Louisiana, USA, 25-28 June 2013.
FOSSACS 2013.
The 16th Int.l Conf. on Foundations of Software Science and Computation Structures.
(Part of ETAPS 2013.)
Rome, Italy, March 2013.
SOFSEM 2013.
39th International Conference on Current Trends in Theory and Practice of
Computer Science. Špindleruv Mlýn, Czech Republic. January 2013.
I am married
to Dale Miller.
We have one daughter,
Nadia,
and one son, Alexis.
My favourite recipes.
ALP Newsletter.
Informations for visitors,
Science Accueil,
Trovare casa a Parigi
Missions INRIA
