Nicolas
Markey
Full-time researcher at CNRS
My
list of publications
and some recent
talks
My
CV
[last updated: 09/02/2012]
I defended my
habilitation thesis
on 8 April 2011
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
Timed and Hybrid automata
, MPRI course, fall 2010
Real-time Model Checking
, QMC'10
Weighted automata
, MPRI course, fall 2008
Timed Systems
, MOVEP'08
Temporal Logics
, MPRI course, fall 2006
Expressiveness of Temporal Logics
, ESSLLI'06
Miscellanea
Stef
and
Julie
Some manuals about
LaTeX and BibTeX
How to write an e-mail
The
climbing club
at ENS Cachan
My
fan-club
Stupid French laws
About
LSV
News
People
Research
Seminars
Teaching
Contact
École Normale Supérieure de Cachan
Centre National de la Recherche Scientifique
Private Pages
Page maintained by
Nicolas Markey
.
English
Français
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) 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
Conferences
FORMATS'12
GANDALF'12
Projects
ANR Blanc ImpRo
ESF-LogICCC GASICS
IST-FP7 QUASIMODO
ANR SetIn2006 DOTS
IFR-Farman TOAST