Subject: [sv-ac] WORKSHOP on SEMANTICS and VERIFICATION of HARDWARE and SOFTWARE SYSTEMS
From: Cindy Eisner (EISNER@il.ibm.com)
Date: Thu Feb 13 2003 - 02:37:43 PST
WORKSHOP on SEMANTICS and VERIFICATION of HARDWARE and SOFTWARE SYSTEMS
MAY 20-22 Tel Aviv, Israel
Organized by the Israeli Ministry of Science and the French Ministry of
Foreign Affairs.
AIMS
The workshop aims to provide a forum for the presentation and discussion of
new ideas and results, recent developments, new research directions, as
well as surveys on existing knowledge in semantics and verification of
hardware and software systems.
PAPER SUBMISSION
Prospective authors are invited to submit an abstract (up to three pages)
describing innovative techniques, results or a survey addressing topics in
the semantics or verification of hardware or software systems. Electronic
submission in the form of postscript file can be send to
svhss@post.tau.ac.il.
IMPORTANT DATES
March 12, 2003: Deadline for electronic submission of papers
March 30, 2003: Notification of acceptance of papers
INVITED SPEAKERS
Eugene Asarin(Grenoble)
Daniele Beauquier(Paris 12)
Mike Gordon (Cambridge)
David Harel (Weizmann)
Yoram Hirshfeld (Tel Aviv)
Zohar Manna (Stanford)
Oded Maller(Grenoble)
Anca Muscholl(Paris 6)
Amir Pnueli (Weizmann)
Philippe Schnoebelen (LSV Cachan)
Anatol Slissenko(Paris 12)
Boaz Trakhtenbrot (Tel Aviv)
The French delegation will include: Eugene Asarin(Grenoble), Daniele
Beauquier(Paris 12), Oded Maller(Grenoble), Anca Muscholl (Paris 6),
Philippe Schnoebelen (LSV Cachan) Anatol Slissenko(Paris 12).
ORGANIZING COMMITTEE
Gideon Ariely (Israeli Ministry of Science)
Cindy Eisner (IBM Haifa)
Orna Grumberg (Techion)
Orna Kupferman (Hebrew University)
Alexander Rabinovich (Tel Aviv University), Chair
Mooly Sagiv (Tel Aviv University)
Becky Zangelovich (Israeli Ministry of Science)
LATEST INFORMATION and any FURTHER INFORMATION
http://www.cs.tau.ac.il/~svhss/
Cindy Eisner
Formal Methods Group Tel: +972-4-8296-266
IBM Haifa Research Laboratory Fax: +972-4-8296-114
Haifa 31905, Israel e-mail:
eisner@il.ibm.com
This archive was generated by hypermail 2b28 : Thu Feb 13 2003 - 02:34:48 PST