[PlanetKR] ICLP 2023: Registration Open - Logic Programming, London (UK), 9-15 July 2023

Paulino Passos, Guilherme g.passos18 at imperial.ac.uk
Fri May 12 14:54:05 UTC 2023


Please circulate within your networks. Apologies for multiple postings.
________________

CALL FOR PARTICIPATION (REGISTRATION OPEN)
________________

The 39th International Conference on Logic Programming (ICLP 2023)
        https://iclp2023.imperial.ac.uk/
London, UK, July 9-15, 2023

ICLP 2023 will be an in-person event.
Registration is now open at https://iclp2023.imperial.ac.uk/registration

****** 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.


PROGRAMME
Accepted list of papers for the main conference and for the Doctoral Consortium TBA.


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 at 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 at ICLP20223
* Details are available at https://iclp2023.imperial.ac.uk/affiliated-events/womeniclp


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 at 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:
  iclp2023 at easychair.org

Registrations open at: https://iclp2023.imperial.ac.uk/registration




​--
CLArg/Imperial College London<https://clarg.doc.ic.ac.uk/> |
github<https://github.com/GPPassos/> | academia.edu<https://independent.academia.edu/GPassos> | [cid:79c05832-b7fd-49cf-a9c7-40c1f9578c04] <https://orcid.org/0000-0003-3089-1660>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://kr.org/pipermail/planetkr/attachments/20230512/090890bb/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Outlook-n2xepnby.png
Type: image/png
Size: 1261 bytes
Desc: Outlook-n2xepnby.png
URL: <http://kr.org/pipermail/planetkr/attachments/20230512/090890bb/attachment-0001.png>


More information about the PlanetKR mailing list