============================================================ ??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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]