- Laboratory
for Logic
Location:
Wolfson Building for Computer and Software Engineering
Room 209
- Director:
Nachum
Dershowitz
- School of
Computer Science
- Tel Aviv University
- Ramat
Aviv,
Tel Aviv 69978
- Israel
- Tel.:
[+972] (03)
640-5356
- Fax.:
[+972]
(03) 640-5948
- E-mail:
nachumd@tau.ac.il