Highlights is an annual conference with the goal of integrating the community of researchers working on logic, games and automata. The 2022 edition of Highlights will happen from June 28th to July 1st, 2022, in Paris, France. The conference will be hosted by Université de Paris, and happen on the site of Grands Moulins.

Just like other conferences in the field, Highlights proposes tutorials and invited talks. However the contributed talks are just ten minutes long, allowing participants to get an overview of a wide range of different topics in a short amount of time. Additionally, authors are encouraged to prepare posters about their work, which are then presented and discussed in poster sessions.

Highlights is an informal event which will take place on-site (barring unforeseen circumstances), and the preferred form of participation is to give your talk in-person. Highlights is mostly intended for a local community of participants who can attend with a limited carbon footprint (e.g., no plane travel). Before coming from further away, please review how your trip and international flights are contributing to climate change. If you do come, we encourage you to make the most of your stay in Paris, e.g., by also attending the ICALP'22 conference and/or using this opportunity for a research visit (see below).

If you cannot attend, you can watch the talks remotely via a video stream, interact via text-based questions and answers, and you can also submit a proposal for a pre-recorded talk. If it is accepted, you will provide a video of your talk, which will be hosted online with other conference videos and be advertised on-site. The selection process will not discriminate between pre-recorded talks and in-person talks.

Highlights Extended Stay Support Scheme

If you are coming from far away to attend Highlights and wish to do a research visit while in Paris, we have a scheme in place to help you secure financial support for your visit, by listing laboratories close to Paris who can consider funding such visits. This is the Highlights extended stay support scheme. The following laboratories are participating in the scheme:

To apply, you should first contact a collaborator in these laboratories, with whom you are already working or would like to discuss. Once you have a collaborator, the two of you should get in touch with the laboratory contact listed above, Cc'ing the Highlights organizers Antoine Amarilli. You should indicate the planned dates of the visit, the broad theme, and the country of origin of the visitor.

Applications will be reviewed on a rolling basis and should be sent as early as possible, and no later than April 15. The funding may cover accommodation and transportation from Paris by train. This scheme is only available for participants at the Highlights conference, for dates just before or after Highlights. We stress that it is not intended to cover the expenses of attending the Highlights conference itself, or attending the ICALP'22 conference.

Call for Papers

Call for Presentations

HIGHLIGHTS 2022 is the tenth conference on Highlights of Logic, Games and Automata. It aims at integrating the community working in these fields. 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.

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

Scope

  • algorithmic model theory
  • automata theory
  • databases
  • games for logic and verification
  • logic
  • verification

Where to submit?

Submissions are managed through Easychair.

Important Guidelines

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 submission of work presented elsewhere.

All speakers are invited to prepare a poster and to participate in the poster session.

Important dates

  • Submission: March 18, 2022
  • Notification: April 1st, 2022
  • Registration: TBA
  • Conference: June 28th - July 1st, 2022

Committees

Program

Sponsors