*IMPORTANT:*
- You can now register to the *chat of HIGHLIGHTS*:
https://highlights-conference.org/2023/zulip, even if you do not plan to
participate in the event itself.
- Next and last *submission deadline is April 25*. *Submission page:*
https://cmt3.research.microsoft.com/Highlights2023
- Consider participating in the *Highlights Collaborative Research Week*
(HCRW), and the *Highlights Extended Stay Support Scheme* (HESSS).
HIGHLIGHTS OF LOGIC, GAMES, AND AUTOMATA (Kassel, Germany, 24 — 28 July
2023)
*HIGHLIGHTS'23* is the eleventh 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.
*HIGHLIGHTS'23* is scheduled *from July 24 to July 28, 2023* at
the Campus Center of the
*University of Kassel, Germany*. The main conference will be preceded by
the
*Highlights Collaborative Research Week (HCRW), from July 17 to July 21,
2023*
at the Faculty of Electrical Engineering and Computer Science of the
University of Kassel.
*HIGHLIGHTS'23* key features:
- *(new)* A group chat has been set up to facilitate exchanges among the
HIGHLIGHTS community.
- HIGHLIGHTS is a conference without publication, where speakers give
short presentations of their best work.
- *(new)* The conference will span five days, including tutorials.
- (closed) An early round of submissions is organised to help the
planning of travels.
- *(new)* The *Highlights' Collaborative Research Week* (*HCRW*) is a
new initiative meant to facilitate research collaborations/discussions
between participants. HCRW is scheduled from July 17 to July 21, 2023, i.e.
the week before HIGHLIGHTS'23 and after ICALP'23 (in Paderborn, Germany).
- The *Highlights Extended Stay Support Scheme* (*HESSS*) is intended to
help participants find collaborators and organize visits around HIGHLIGHTS.
We encourage you to attend and present your best work, be it already
published or not, at *HIGHLIGHTS'23*.
ZULIP CHAT FOR THE HIGHLIGHTS' COMMUNITY
We have set up a group chat for the HIGHLIGHTS' community in Zulip
<https://zulip.com/>, an open-source team chat app. This chat is intended
to serve both as:
- the main communication tool during activities related to HIGHLIGHTS'
23,
- a system to foster connections within the community.
We strongly encourage those planning to participate in the *Highlights'
Collaborative Research Week* to register for the Highlight's Zulip chat.
We plan to keep the server active even after the conference concludes.
If you wish to join the Highlight's Zulip chat (whether you are attending
the conference or not), please fill out this form:
https://highlights-conference.org/2023/zulip
You will receive an invitation to join the Zulip server after a lightweight
verification of your affiliation.
SCOPE
Representative areas include, but are not restricted to:
- Algorithmic model theory
- Automata theory
- Databases
- Games for logic and verification
- Logic
- Verification
IMPORTANT DATES AND INFORMATION
Deadlines:
- Early submission deadline: February 17
- Early notification: February 28
- *Regular submission deadline: April 25*
- Regular notification: May 5
- Early registration: TBA
Conference dates:
- *Highlights' Collaborative Research Weak* (*HCRW*): July 17 - July 21,
2023.
- Conference: July 24 - July 28, 2023 (Tutorial day: July 24).
Links:
- Main conference page: https://highlights-conference.org/2023/
- HCRW page: https://highlights-conference.org/2023/hcrw
- HESSS page: https://highlights-conference.org/2023/hesss
- Submission page: https://cmt3.research.microsoft.com/Highlights2023
- Zulip registration form: https://highlights-conference.org/2023/zulip
- Registration page: TBA
MODALITIES OF ATTENDANCE
*HIGHLIGHTS'23* is an event that will take place on-site (barring
unforeseen circumstances), and the preferred form of participation is in
person. Remote attendance via a video stream will also be offered, but with
limited possible interactions for these participants.
Before coming from far away, please review how your trip and international
flights are contributing to climate change. We encourage you to take the
train as much as possible, possibly taking the opportunity for visiting
colleagues on the way and thus decomposing the travel into smaller pieces.
More generally, we encourage you to make the most of your stay. This means
extending your journey to the previous and/or following weeks for more
scientific activities in Kassel and around.
Further information about the venue, visa requirements and a list of
related scientific activities can be found in the webpage:
https://highlights-conference.org/2023/cfp
SUBMISSIONS AND 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.
We encourage both young and senior researchers to present.
The *submission deadline is April 25, 2023*, with a *notification by May 5,
2023*.
Submissions will not lead to publications. There are no formal proceedings
and we encourage the presentation of work published or presented elsewhere.
The talk (which is short, around 10 minutes) can be doubled with a poster.
In this case, it has to be sent more than one week before the event, and
will be printed by the organising team.
*Submission page:* https://cmt3.research.microsoft.com/Highlights2023
HIGHLIGHTS' COLLABORATIVE RESEARCH WEEK (HCRW)
*HIGHLIGHTS'23* will be organising an extra week, the *Highlights'
Collaborative Research Week* (*HCRW*), *from July 17 to July 21, at the
University of Kassel*.
Participants to HIGHLIGHTS can register for this week, and are then free to
organise any scientific activity. 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.
HIGHLIGHTS organising team is offering the opportunity, the working space
and support at the university, and some web-tools for the scientific
organisation.
We encourage participants to propose activities in advance. Please contact
the program chair (Supratik Chakraborty) and the organisation chair (Stefan
Göller) to communicate your proposals.
If you plan to come to *HCRW*, please register to the Highlight's Zulip
chat by filling out this form: https://highlights-conference.org/2023/zulip
- *HCRW* webpage: https://highlights-conference.org/2023/hcrw
- To propose activities: Contact Supratik Chakraborty and Stefan Göller
- Registration for HCRW will happen along with HIGHLIGHTS
- Registration form for the Zulip chat:
https://highlights-conference.org/2023/zulip
HIGHLIGHTS EXTENDED STAY SUPPORT SCHEME (HESSS)
The *HESSS* is an incentive for collaborations between participants of the
conference and researchers working in research units reachable by train
from the conference location. The objective is to foster interactions with
low carbon footprint by pairing HIGHLIGHTS participants with members of
nearby research units.
More information can be found in the HESSS webpage
<https://highlights-conference.org/2023/hcrw>.
Research units participating in HESSS are:
- TCS group in Georg-August-Universität, Göttingen (Contact: Florin
Manea)
- TCS/Formal Methods group at University of Kassel (Contact: Martin
Lange)
- Models of Computation group at MPI-SWS in Kaiserslautern (Contact:
Georg Zetzsche)
- LogiDAC group at TU Dortmund University (Contact: Thomas Schwentick)
- Theoretical Computer Science group in Leibniz Univertität Hannover
(Contact: Arne Meier)
- Theoretical Computer Science Group at the University of Duisburg-Essen
(Contact: Barbara König)
INVITED TALKS AND TUTORIALS Tutorials:
- Bernd Finkbeiner (Saarland Univ and CISPA, Germany)
- Édouard Bonnet (ENS Lyon, France)
Invited talks:
- Udi Boker (Reichman Univ, Israel)
- Véronique Bruyère (Univ of Mons, Belgium)
- Meena Mahajan (Institute of Mathematical Sciences, India)
- Sophie Pinchinat (IRISA, France)
- Sven Schewe (Univ of Liverpool, UK)
COMMITTEES PROGRAM COMMITTEE
- S. Akshay (India)
- Suguman Bansal (USA)
- Nathalie Bertrand (France)
- Supratik Chakraborty (India) (Chair)
- Krishnendu Chatterjee (Austria)
- Javier Esparza (Germany)
- Sandra Kiefer (Germany)
- Antonina Kolokolova (Canada)
- Orna Kupferman (Israel)
- Annabelle McIver (Australia)
- Madhusudan Parthasarathy (USA)
- Joanna Ochremiak (France)
- Daniela Petrisan (France)
- Michał Pilipczuk (Poland)
- Nir Piterman (Sweden)
- Jean-François Raskin (Belgium)
ORGANISING COMMITTEE
- Stefan Göller (chair)
- Alina Kappes
- Klaus Wich
- Matthias Wolf
- Katja Wuchterl
SAFETOC COUNSELOR
- Sylke Ernst
STEERING COMMITTEE
- León Bohn (webmaster)
- Antonio Casares (publicity chair)
- Thomas Colcombet (chair)
- Sławek Lasota
- Luc Segoufin
- Sophie Tison
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
