Nicolas Markey

Full-time researcher at CNRS

My list of publications and some recent talks
My CV [05/02/2010]

TIME 2010 Symposium

I'm the organizer of the TIME'10 symposium. It will be held in Paris from 6 to 8 September 2010.

Research activites

Linear-time temporal logic with past is more concise
TPTL is strictly more expressive than MTL
TSMV: symbolic model-checking for discrete-time Kripke structures
Some interesting open questions
My bib file

Teaching activites

Weighted automata,MPRI course, fall 2008
Timed Systems, MOVEP'08
Temporal Logics, MPRI course, fall 2006
Expressiveness of Temporal Logics, ESSLLI'06

Miscellanea

Contact

Address

LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France

Office

Bât. Iris

Phone

(+33) 1 47 40 75 37

Fax

(+33) 1 47 40 75 21

Secr.

+33 (0)1 47 40 75 20

E-Mail

markey@lsv.ens-cachan.fr

If you feel afraid by my spam filter (you should, especially if your address is @hotmail.com), you can bypass it by adding the current date in the subject line. For instance:

Subject: [2005/12/02] A very important subject