ICLP 2023: 2nd Call for Registrations - Logic Programming, London (UK), 9-15 July 2023

0 views
Skip to first unread message

Paulino Passos, Guilherme

unread,
May 30, 2023, 11:24:37 AM5/30/23
to d...@dl.kr.org, fo...@folli.info
Please circulate within your networks. Apologies for multiple postings.
________________

SECOND CALL FOR PARTICIPATION (ACCEPTED PAPERS ONLINE, EARLY BIRD DEADLINE APPROACHING)
________________

The 39th International Conference on Logic Programming (ICLP 2023)
London, UK, July 9-15, 2023

ICLP 2023 will be an in-person event.

DEADLINE FOR EARLY BIRD APPROACHING: 15/06/2023, GMT+1
ACCEPTED PAPERS ONLINE


****** CONFERENCE: July 9-15, 2023

SCOPE
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions include all areas of logic programming, such as:
* Theoretical Foundations.
* Language Design and Programming Methodologies.
* Program Analysis and Optimization.
* Implementation Methodologies.
* Related Paradigms, Integration, and Synergies.
* Applications of Logic Programming.


PROGRAM
Preliminary schedule is now available at https://iclp2023.imperial.ac.uk/program
Accepted papers are now available at https://iclp2023.imperial.ac.uk/program/accepted-papers


STUDENT FINANCIAL SUPPORT
* USA-based students - Courtesy of NFS (Deadline: 10th June)
* Undergraduate and MSc students from underrepresented groups - Courtesy of Google DeepMind (Deadline: 15th June)
* Accommodation and travel support - Courtesy of the Artificial Intelligence journal (Deadline: 15th June)

Details on how to apply are available on the website: https://iclp2023.imperial.ac.uk/registration/student-financial-support


INVITED SPEAKERS
* Jan Wielemaker (Centrum Wiskunde & Informatica, Netherlands)
* Sarah Gaggl (Technische Universität Dresden, Germany)
* Marco Maratea (University of Calabria, Italy)
* Keith Stenning (University of Edinburgh, United Kingdom)
* Gopal Gupta (University of Texas at Dallas, United States)


TRACKS and SPECIAL SESSIONS
* Applications Track,
  on emerging and deployed applications of logic programming;
* Thematic Tracks on:
** Logic Programming and Machine Learning;
** Logic Programming and Explainability, Ethics, and Trustworthiness.
* Recently Published Research Track,
  on important results related to logic programming that appeared recently (from January 2021 onwards) in selective journals and conferences, but have not been previously presented at ICLP.
* System Demonstration Track,
  to showcase logic programming systems and implementations in a live setting.
* Birds-of-a-Feather (BoF) Sessions,
  meant to provide an inclusive environment for informal discussions.
* ICLP2023 will also host a Doctoral Consortium, Tutorials, a Summer School, a Women@ICLP Event, an Industry Event, a Programming Contest and Workshops.


WORKSHOPS
* Abduction & Argumentation in Logic Programming (AALP)
* Argumentation for eXplainable AI (ArgXAI)
* Answer Set Programming and Other Computing Paradigms (ASPOCP)
* Causal Reasoning and Explanation in Logic Programming (CAUSAL)
* Computational Models of Natural Argument (CMNA)
* Epistemic Extensions of Logic Programming (EELP)
* Goal-directed Execution of Answer Set Programs (GDE)
* Logic Programming and Legal Reasoning (LPLR)
* Machine Ethics and Explainability, The Role of Logic Programming (MEandE-LP)
* Probabilistic Logic Programming (PLP)
* Safe and Trustworthy AI (STAI)

Details on the workshops are available at https://iclp2023.imperial.ac.uk/affiliated-events/workshops

TUTORIALS
* Cognitive Vision - On Deep Semantics for Explainable Visuospatial Intelligence,
  by Mehul Bhatt (Örebro University, Sweden)
* Joseph Townsend (Fujitsu Research of Europe) - Topic TBA


SUMMER SCHOOL
* Fine Points of Answer Set Programming,
  by Vladimir Lifschitz (University of Texas at Austin, United States)
* New Directions in Prolog Programming,
  by Theresa Swift (NOVA University Lisbon, Portugal)
* Industrial Applications of Logic Programming,
  by Konstantin Schekotihin (University of Klagenfurt, Austria)
* Answer Set Programming in Normative Systems: Modelling, Verification and Adaptation of Normative Behaviour,
  by Marina De Vos (University of Bath, United Kingdom)


PROGRAMMING CONTEST
* Details TBA


WOMEN@ICLP20223


ORGANIZATION
** General Chairs
   Alessandra Russo and Francesca Toni, Imperial College London, UK
** Program Chairs
   Stefania Costantini, University of L’Aquila, Italy
   Enrico Pontelli, New Mexico State University, USA
** Publicity Chair
   Guilherme Paulino-Passos and Alex Spies, Imperial College London, UK
** Workshop Chair
   Wolfgang Faber, University of Klagenfurt, Austria
** Tutorials Chairs
   Agostino Dovier, University of Udine, Italy
   Esra Erdem, Sabanci University, Turkey
** Doctoral Consortium Chairs
   Francesco Fabiano, University of Udine, Italy
   Alessandra Mileo, DCU, Ireland
** Programming Contest Chairs
   Martin Gebser, Graz University of Technology, Austria
   Mario Alviano, University of Calabria, Italy
** Recently Published Research Track Chair
   Sarah Gaggl, TU Dresden, Germany
** Application and Systems/Demo Chair
   Carmine Dodaro, University of Calabria, Italy
** Summer School Organizers
   Simona Perri, University of Calabria, Italy
   Bart Bogaerts, Vrije Universiteit Brussel, Belgium
** Thematic Tracks Chairs:
   - LP and Explainability, Ethics and Trustworthiness
     Roberta Calegari, University of Bologna, Italy
   - LP and Machine Learning
     Artur Garcez, City University of London, UK
** BoF Chair
   Luciano Serafini, Fondazione Bruno Kessler Trento, Italy
** Women@ICLP Chair
   Daniele Nantes-Sobrinho, University of Brasília, Brazil, and Imperial
College London, UK

Any additional question can be directed towards the ICLP Chairs:


Reply all
Reply to author
Forward
0 new messages