Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] ICLP 2022: Call for Participation


view this post on Zulip Email Gateway (Jun 14 2022 at 08:46):

From: Víctor Pérez <victor.perez@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@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@easychair.org
=========================================================================


Last updated: Apr 20 2024 at 04:19 UTC