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 tauex.tau.ac.il

Fields of interest

Editor of

Fundamenta Informaticae

Program Committees

The Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23) September 18-20, 2023, Udine Italy.
Trakhtenbrot 100 Event OCTOBER 24-25 2021, Tel Aviv
13th International Conference on Reachability Problems SEPTEMBER 11-13 2019, BRUSSELS, BELGIUM
CSR 2019 Jul 1, 2019 - Jul 5, 2019, Novosibirsk, Russian Federation
FSTTCS 2018 December 10–14, 2018
Conference on Reachability Problems. 24 - 26 SEPTEMBER 2018, MARSEILLE, FRANCE
LICS 2017 June 20–23, 2017 • Reykjavik
CONCUR 2017 Berlin, Sept. 4-9
Workshop on Reachability Problems. September 2016, 19 - 21 September 2016, Aalborg, Denmark
Workshop on Reachability Problems. September 2015, Warsaw, Poland
40th International Symposium on Mathematical Foundations of Computer Science August 24-28, 2015 Milano (Italy)
Workshop on Reachability Problems. September 2014, Oxford, UK
MFCS 2014, 25-29 August 2014, Budapest, Hungary
Symposium on Temporal Representation and Reasoning 2014, September 2014, Verona, Italy
FoSSaCS 2014, 5-13 April 2014, Grenoble, France
STACS 2014, Lyon, at ENS Lyon, Mar 5 – Mar 8, France
MFCS 2013, August 26 - 30, 2013, IST, Austria.
Symposium on Games, Automata, Logic, and Formal Languages (GandALF) 2013, Borca di Cadore, Dolomites, Italy - August 29th-31th, 2013
Highlights of logic, games and automata. PARIS, 18–21 SEPTEMBER 2013