Introduction

The 2024 edition of Highlights will be jointly scheduled with Jewels of Automata Theory from September 16 to September 20 at the University of Bordeaux, France, in LaBRI. They will be followed by the Highlights Collaborative Research Week (HCRW), from September 21 to September 27, 2024.

Highlights is the twelfth in the series of international conferences Highlights of Logic, Games and Automata, aiming at integrating the community working in algorithmic model theory, automata theory, databases, games for logic and verification, logic, and verification. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume. There are no publications.

Jewels of Automata Theory will be the second conference, after the one organised in 2015, which was itself the continuation of a European research project, that terminated in 2010. The name of the conference itself has changed, previous editions ran under the name AutoMathA. The conference Jewels of Automata Theory 2024 will survey a wide picture of research in automata theory and related mathematical fields. It will consist of invited lectures which describe significant progress over the past years, and will be a meeting point for both young and senior researchers to learn and to discuss about automata theory, its connections with mathematics and its applications.

Key features of Highlights 2024:

  • Highlights is a conference without publication, where spearkers give short presentations of their best work.
  • The 2024 edition is colocated with Jewels of Automata Theory a conference featuring invited talks on mathematical aspects of automata theory.
  • A chat of the conference is available during the event, and throughout the year.
  • There is an early round of submissions and notifications to help with travel planning.
  • The Highlights Collaborative Research Week (HCRW) offers means for research collaborations/discussions between participants. HCRW is scheduled after the conference.
  • The Highlights Extended Stay Support Scheme (HESSS) helps organising and funding collaborations in the vincinity of Highlights.
  • Highlights now has an environmental chair, Antoine Amarilli, in charge of assessing the carbon footprint of the event.

We encourage you to attend and present your best work, be it already published or not, at Highlights.

Scope

Representative areas include, but are not limited to:

  • Algorithmic model theory
  • Automata theory
  • Databases
  • Games for logic and verification
  • Logic
  • Verification

Important Dates

Early Submission deadline April 15, 2024
Early Notification April 26, 2024
Regular Submission deadline June 17, 2024
Regular Notification June 28, 2024
Registration deadline TBA
Highlights Collaborative Research Week September 21 - September 27, 2024
Conference September 16 - September 20, 2024

Submission

Submissions should take the form of a short abstract describing the content of the presentation and its interest. It should serve as a proposal for a presentation. Hence, submissions should have a single author — the speaker. They can concern any recently published, to be published, or ongoing work of the speaker. We expect you to present your favourite result of the year, so there should be at most one submission per speaker. The abstract should list co-authors, if any. Optionally, an extended abstract of up to two pages may be attached as a PDF file.

Submissions will not lead to publications. There are no formal proceedings and we encourage the presentation of work published or presented elsewhere.

(Note, that it is required to have an account with openreview.net to submit an abstract.)

Registration

The registration has not yet been opened.

Highlights Code of Conduct

Highlights is committed to be a respectful forum for its participants, free from any discrimination or harassment of any nature, particularly when abuse of power is involved. All Highlights attendees are expected to behave accordingly.

If you experience or witness discrimination, harassment or other unethical behavior at the conference, we encourage you to seek advice and remedy by consulting with the SafeToC counsellor of Highlights: Rémi Morvan.

The local organizers are entitled to remove registered participants from the conference (without refunding the conference fees) if they are deemed to pose an ethical risk to other participants.

Highlights Collaborative Research Week

Highlights also organises an extra week, the Highlights Collaborative Research Week (HCRW) from September 21 to September 27, 2024 at LaBRI.

Participants to Highlights can register to this week, and are then free to organise any scientific activities. It is up to you to decide what this week should be. Possibilities can be to

  • meet someone in particular
  • organise or attend a seminar/workshop/reading group
  • gather for solving open problems

We encourage participants to propose activities in advance. For participating, just mention it during the registration process, and register to the HCRW stream in the Zulip chat. This is the place where the activities during the week will be organised. You can declare there what are your center of interests, what topic you would be happy to work on with other participants, or what activities you would like to participate to.

Highlights Extended Stay Support Scheme

The Highlights Extended Stay Support Scheme (HESSS) is an incentive for collaborations between participants to the conference and researchers working in research units reachable by train from the conference locations. The objective is to foster interactions with low carbon footprint. The mechanism is as follows:

  • Research units wanting to participate in the scheme are listed below. These units are willing to fund collaborations between highlights' participants and their members.
  • The pair of a Highlights' participant and a member of one of a listed research unit submit a proposal which takes the form of a mail containing names, period of collaboration, and a sentence describing the activity planned. It has to be sent to the HESSS contact person of the research unit.
  • The decision of acceptation is up to the research unit. It may be in particular subject to scientific scope, number or requests, or, eg, favouring distant participants.
  • The only strict rule is that the visit should be around the moment of Highlights, and no plane should be taken by the visitor between Highlights and the visit.
  • Research units interested in participating in the program should contact us through the appropriate channels on Zulip.

Committees

Program Committee

Organizing Committee

Steering Committee

Sponsors