[FM-India] VardiFest at FLoC 22: Call for short talks
supratik
supratik at cse.iitb.ac.in
Fri Apr 22 19:39:25 IST 2022
The VardiFest titled "On the Not So Unusual Effectiveness of Logic" is a FloC
2022 workshop in honor of Moshe Vardi and is intended to celebrate Moshe
Vardi's pioneering contributions that has enhanced logic's centrality in
Computer science.
The workshop will be organized ala 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 ). We will try to accommodate
as many speakers as possible. 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.
While we will give preference to in-person presentations, we will reserve a
limited number of slots for remote presentations.
Deadline for Submission: May 15, 2022 AoE
Notification of Acceptance: May 19, 2022 AoE
Submission Site: https://easychair.org/conferences/?conf=vardifest22.
More information about workshop: https://vardifest.github.io/
Organizers
Giuseppe De Giacomo (Sapienza Univ. Rome,Italy)
Kuldeep S. Meel (National University of Singapore)
Kristin Yvonne Rozier (Iowa State University, Ames, Iowa)
More information about the FMIndia
mailing list