Alexander Rabinovich
Tel Aviv University
School
of Computer Science
Ramat Aviv, Tel Aviv 69978, Israel
972-3-6405388 (voice)
972-3-6409357 (fax)
rabinoa at post.tau.ac.il
Fields of interest
- SEMANTICS
- FOUNDATION OF CONCURRENCY
- PROGRAM VERIFICATION
- LOGICS IN COMPUTER SCIENCE
Activities
Editor of
Fundamenta Informaticae
Program Committees
-
FoSSaCS 2010, 20-28 March 2010, Paphos, Cyprus
-
ICALP 2010, July 2010,
Bordeaux, France
-
MFCS 2010, 23-27 August 2010, Brno, Czech Republic.
-
Symposium on Games, Automata, Logic, and Formal Languages
(GandALF) 2010, 17-18 June 2010, Amalfi, Salerno, Italy.
-
Synthesis, Verification, and Analysis of Rich Models. 20-21 July 2010, Edinburgh,
UK.
Publications
Logic and Formal Methods Seminar
