Keynotes
We welcome our inspiring Keynote Speakers:
We welcome our inspiring Keynote Speakers:
Keynote 1:
David Peleg, Weizmann Institute of Science, Rehovot
Realizability of Graph Specifications: Characterizations and Algorithms
Realizability of Graph Specifications: Characterizations and Algorithms
SIROCCO Award Lecture:
Zvi Lotker, Ben Gurion University of the Negev, Beer-Sheva
Taking Turing to the Theater
Taking Turing to the Theater