============================================================
VardiFest22: On the Not So Unusual Effectiveness of Logic
(a collection of ~12-minute talks)
Technion, Haifa, Israel (co-located with FLoC)
July 31-August 1, 2022
https://vardifest.github.io/
============================================================
VardiFest is a FLoC-22 workshop in honor of Moshe Y. Vardi and is
intended to celebrate Vardi's pioneering contributions that have
enhanced logic's centrality in computer science.
The workshop will be organized in a Highlights conference style: i.e.,
composed of short talks and invited talks.
This is a call for short talks (expected to be ~12 minutes). The
proposal should be at most one page PDF in Easychair class style
(https://easychair.org/publications/for_authors).
Given the depth and breadth of Vardi's contributions that span across
multiple fields of computer science and society at large, there is no
definite list of topics of interest. We encourage you to present a
proposal for a talk that would be of interest to Vardi be it published
or not, technical or non-technical, retrospective or crystal-ball gazing.
While we may allow some remote presentations, strong preference will be
given to in-person presentations.
====================
DATES:
====================
Deadline for Submission: May 15, 2022 AoE
Notification of Acceptance: May 19, 2022 AoE
Submission Site: https://easychair.org/conferences/?conf=vardifest22
====================
ORGANIZERS:
====================
Giuseppe De Giacomo (Sapienza Univ. Rome, Italy)
Kuldeep S. Meel (National University of Singapore)
Kristin Yvonne Rozier (Iowa State University, Ames, Iowa)
View this Call in EasyChair: https://easychair.org/cfp/vardifest22
--
____________________________________________________________
__
/\ \ \_____
/ \ ###[==_____>
/ \ /_/ __
/ __ \ \ \_____
| ( ) | ###[==_____>
/| /\/\ |\ /_/
/ | | | | \
/ |=|==|=| \ Kristin Yvonne Rozier, Ph.D.
/ | | | | \ Black&Veatch Associate Prof, Iowa State Univ
/ USA | ~||~ |NASA \ Departments of Aerospace Engineering,
|______| ~~ |______| Computer Science, Mathematics, and
(__||__) Electrical and Computer Engineering
/_\ /_\ Virtual Reality Applications Center
!!! !!! laboratory.temporallogic.org
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
