[TYPES/announce] Call for Presentations: VardiFest22

Kristin Yvonne Rozier kyrozier at iastate.edu
Sat Apr 23 21:26:15 EDT 2022


============================================================
  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://urldefense.com/v3/__https://vardifest.github.io/__;!!IBzWLUs!WHJWWDhiUjEnI-fRwjOIt7BpXQ2dd04RJIolAL-z1MH9aKrBk3dsXfnJS9r4cZjOIPa8JcPMxffsNCNZFcu6PAPaXOpTiedwaNc$ 
============================================================

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://urldefense.com/v3/__https://easychair.org/publications/for_authors__;!!IBzWLUs!WHJWWDhiUjEnI-fRwjOIt7BpXQ2dd04RJIolAL-z1MH9aKrBk3dsXfnJS9r4cZjOIPa8JcPMxffsNCNZFcu6PAPaXOpT4WQDTSQ$ ).

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://urldefense.com/v3/__https://easychair.org/conferences/?conf=vardifest22__;!!IBzWLUs!WHJWWDhiUjEnI-fRwjOIt7BpXQ2dd04RJIolAL-z1MH9aKrBk3dsXfnJS9r4cZjOIPa8JcPMxffsNCNZFcu6PAPaXOpTkfIVJzs$ 

====================
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://urldefense.com/v3/__https://easychair.org/cfp/vardifest22__;!!IBzWLUs!WHJWWDhiUjEnI-fRwjOIt7BpXQ2dd04RJIolAL-z1MH9aKrBk3dsXfnJS9r4cZjOIPa8JcPMxffsNCNZFcu6PAPaXOpTCM_eKEk$ 

-- 
  ____________________________________________________________
                                     __
            /\                       \ \_____
           /  \                   ###[==_____>
          /    \                     /_/      __
         /  __  \                             \ \_____
         | (  ) |                          ###[==_____>
        /| /\/\ |\                            /_/
       / | |  | | \
      /  |=|==|=|  \       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
                           
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220423/5e0b7996/attachment-0001.htm>


More information about the Types-announce mailing list