The Coq mailing list

[Víctor Pérez <victor.perez AT software.imdea.org>]

=========================================================================
                      CALL FOR PARTICIPATION
=========================================================================

The 38th International Conference on Logic Programming (ICLP 2022)

  Haifa, Israel
  July 31 - August 6, 2022
  https://software.imdea.org/Conferences/ICLP2022/

  ICLP 2022 will be a physical event in Haifa, Israel 
  Part of the FLOC 2022
  https://floc2022.org/ 

=========================================================================


Since the first conference held in Marseille in 1982, ICLP has been
the premier international event for presenting research in logic
programming.  

ICLP 2022 will host multiple workshops on July 31st and August 1st and include
several tracks:

** Main Track

** Applications Track

** Recently Published Research Track


In addition,  ICLP 2022 will house:

** Several events to celebrate 50 years of Prolog 

** Doctoral Consortium and Mentoring Sessions

** LP School

The details on all of the afficiliated events, list of accepted papers, and 
the program of ICLP including invited talks can be found at
  https://software.imdea.org/Conferences/ICLP2022/

REGISTRATION
***************

** Early registration: June 20, 2022
** Regular registration: July 20, 2022

https://software.imdea.org/Conferences/ICLP2022/registration.html

Note: If you are a USA-based student, you may qualify for free registration. 
The preference will be given to support students 
with a paper accepted at ICLP or those who got accepted to the DC before 
other students. 
Please email Name, Institution address, (Advisor, Lab address) to Yuliya 
Lierler ylierler AT unomaha.edu together with information
on your applications if applicable. The full consideration to your 
application will be given prior to June 15th. 

ACCOMODATIONS
***************
https://www.floc2022.org/accommodation


Organization
************

** General Chair
   Michael Codish, Ben-Gurion University of the Negev, Israel

** Program Chairs
   Yuliya Lierler, University of Nebraska Omaha, USA
   Jose F. Morales, IMDEA and Universidad Politécnica de Madrid, Spain

** Recently Published Research Track Chairs
   Martin Gebser,       Alpen-Adria-Universität Klagenfurt, Austria
   Tuncay Tekle, Stony Brook University, USA

** Publicity Chair
   Victor Perez, IMDEA Software Institute, Spain

** Workshop Chair
   Daniela Inclezan, Miami University, USA

** Doctoral Consortium and Fall School Chairs
   Veronica Dahl, Simon Fraser University, Canada 
   Carmine Dodaro, University of Calabria, Italy        

** Programming Contest Chairs
   Mario Alviano, University of Calabria, Italy 
   Vitaly Lagoon, Cadence Design Systems, USA


=========================================================================
Any additional question can be directed towards ICLP Chairs:

  iclp2022 AT easychair.org
=========================================================================