Director of Research at
Saclay - Île-de-France and the
Team leader of Parsifal.
My postal address and other contact information are:
INRIA Saclay & LIX, Bât. Alan Turing
phone: +33 (0)1 77 57 80 53
1 rue Honoré d'Estienne d'Orves
Campus de l'École Polytechnique
email: dale.miller at inria.fr
91120 Palaiseau, France
My office is room 2053.
to get to the Alan Turing building.
The time and weather in Paris.
Programming with Higher-Order Logic
Bibliography & CV
See my list of
papers and talks,
my CV (html, pdf),
a brief bio, and
my academic genealogy.
Current Editorial & Professional Duties
Transactions on Computational Logic: Editor-in-chief
and Area editor for Proof Theory.
Instructions for submitting to
Journal of Automated Reasoning: Member of the
Journal of Applied logic:
Scientific Area Editor. Elsevier.
Practice of Logic Programming: Advisory
Board member. Cambridge University Press.
Keywords: Computational logic, programming language theory, proof
logic, automated deduction.
Languages and systems:
Broad Spectrum Proof Certificates, an ERC Advanced
Investigator Grant funded for the five years 2012-2016.
Teaching & Training
I am supervising one internship
("stages") during spring and summer 2013.
I regularly lecture
(Master Parisien de Recherche en Informatique) in the Course
linéaire et paradigmes logiques du calcul. In recent
years, I have also taught graduate courses at the Universities of
Pisa (September 2011),
Milan (March 2010), and
Ca' Foscari Venezia (April 2009).
My current PhD students are
Ivan Gazeau and
I have supervised a number
of PhD and MS students.
2013: The 24th International Conference on Automated
Deduction, Lake Placid, New York, 9-14 June. Accepted paper.
2013: The Twenty-Eighth Annual ACM/IEEE Symposium on
Logic in Computer Science, 25-28 June 2013, New Orleans.
- Tableaux 2013,
Nancy, France, 16-19 September 2013. Program Committee member.
2013: Logical Frameworks and Meta-Languages: Theory and
Practice, Boston, 23 September 2013. Invited
2013, Fixed Points in Computer Science, 1 September
2013, Torino. Steering committee.
2013, Certified Programs and Proofs, Melbourne,
Australia, December 2013 (colocated with APLAS 2013). Steering committee.
Colloquium 2013, The Theory and Applications of
Formal Proofs, Palaiseau France. 12-15 November
2013 (colocated with PSATTT 2013). Organizing committee.
- In the summer of 2014, CSL and LICS will be held as a single,
joint conference with the name Joint Meeting of
the 23rd EACSL Annual Conference on Computer Science Logic (CSL)
and the 29th ACM / IEEE Symposium on Logic in Computer Science
(LICS) during 14-18 July 2014. This joint meeting will
have one PC and one proceedings. Tom Henzinger and I will be the
Program Committee Chairs. This conference will be part of
FLoC 2014 which, in turn, is part of
the Vienna Summer of Logic.
A photo of me is here and
at the end of this album. I am
Catuscia Palamidessi and we have two children:
Some humor for mid-day distractions.