ICALP 2027 Track B - First Call for Papers (First Round)

--===============5243282750035465294==
Content-Type: multipart/alternative; boundary="000000000000daf75906567326ab"

--000000000000daf75906567326ab
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

[Apologies for multiple copies]


=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
ICALP 2027 Track B - First Call for Papers (First Round)
https://icalp.uj.edu.pl/track-b/
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D

The 54th EATCS International Colloquium on Automata, Languages, and
Programming
(ICALP) will take place in:

Krak=C3=B3w, Poland, July 5-9, 2027

ICALP is the main conference and annual meeting of the European Association
for Theoretical Computer Science (EATCS). As usual, ICALP will be
collocated with a series of workshops.

The 2027 edition has the following features:

- Submissions are anonymous; for track B, there is a rebuttal phase.
- For the first time, Track B will be using a two-round submission process.
A paper can be submitted to one out of two submission deadlines, but not to
both. (Track A has only one round.)
- The conference is planned as a physical, in-person event.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
Important dates and information (for Track B)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D

First round (for Track B only)
--------------------------------------
Submissions: September 15, 2026 (anywhere on earth)
Rebuttal: 5-9 November, 2026
Author notification: 8 December 2026

Second round for Track B (and the only round for Track A)
---------------------------------------------------------------------------=
--
Submissions: TBA
Rebuttal: TBA
Author notification: TBA

Camera-ready version: TBA
Early registration: TBA
Conference: July 5-9, 2027

Deadlines are firm; late submissions will not be considered.
Conference website: https://icalp.uj.edu.pl/home/#home

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
Submission guidelines (for Track B)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D

1) Papers must present original research on the theory of computer science.
No prior publication and no simultaneous submission to other publication
outlets (either a conference or a journal) is allowed. Authors are
encouraged to also make full versions of their submissions freely
accessible in an on-line repository such as ArXiv, HAL, ECCC.

2) Submissions should start with a title page consisting of the title of
the paper, no author information (see below), and an abstract. There is no
page limit and authors are encouraged to use the =E2=80=9Cfull version=E2=
=80=9D of their
paper as the submission. The submission should contain, within the initial
ten pages following the title page, a clear presentation of the merits of
the paper, its main contributions, and key concepts and technical ideas
used to obtain the results. Submissions must provide proofs that allow the
verification of the mathematical claims of the paper. Although there is no
bound on the length of a submission, material other than the abstract,
references, and the first ten pages will be read at the committee=E2=80=99s
discretion. The submission should be typeset using readable fonts (e.g.
11-point), in a single-column format with ample spacing throughout (e.g.
single-space between lines and 1-inch margins all around). The use of the
LIPIcs document class is recommended.

3) Submissions are anonymous. The conference will employ a lightweight
double-blind reviewing process. Submissions should not reveal the identity
of the authors in any way. Authors should ensure that any references to
their own related work are in the third person (e.g., not =E2=80=9CWe build=
 on our
previous work=E2=80=A6=E2=80=9D but rather =E2=80=9CWe build on the work of=
 =E2=80=A6=E2=80=9D).

The purpose of this double-blind process is to help PC members and external
reviewers come to an initial judgment about the paper without bias, and not
to make it impossible for them to discover who the authors are if they were
to try. Nothing should be done in the name of anonymity that weakens the
submission or makes the job of reviewing the paper more difficult. In
particular, important references should not be omitted. In addition,
authors should feel free to disseminate their ideas or draft versions of
their paper as they normally would. For example, authors may post drafts of
their papers on the web, submit them to arXiv, and give talks on their
research ideas.

4) Submissions authored or co-authored by members of the program committee
are allowed.

5) The submissions are done via HotCRP to the appropriate track of the
conference. The use of pdflatex or similar pdf generating tools is
mandatory. Papers that deviate significantly from these requirements risk
rejection without consideration of merit.

6) For Track B, the authors will have the opportunity to view and respond
to initial reviews. Further instructions will be sent to authors of
submitted papers before that time.

7) At least one author of each accepted paper is expected to register for
the conference, and all talks are in-person. In exceptional cases,
alternative arrangements may be considered by the program co-chairs.

8) Papers authored only by students should be marked as such upon
submission in order to be eligible for the best student paper awards of the
track.

9) For Track B, we use a two-round submission process. A paper may be
submitted to one out of two submission deadlines, but not to both. The
decision for the first round is final (no =E2=80=9Ccarry over=E2=80=9D to t=
he second
round); if a paper is rejected then, it cannot be resubmitted to the second
round. (Note that Track A has only one round.)

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
Use of Artificial Intelligence (AI)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D

1) Use of AI tools for conducting research must be disclosed in a submitted
paper, with their specific uses described in detail. Such uses include the
design of the research project, creation of theories and algorithms,
designing experiments, generation and collection of data, coding, data
analysis, testing, assisting with writing, or any aspects that are directly
relevant to the conclusion of the research.

2) All named authors on a submission will be held responsible and
accountable for any problematic content contained in the submission,
regardless of its source.

3) PC members and subreferees must preserve confidentiality of the
submitted material; in particular, it should not be passed to external AI
tools.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
Proceedings
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D

ICALP proceedings are published in the Leibniz International Proceedings in
Informatics (LIPIcs) series. This is a series of high-quality conference
proceedings across all fields in informatics established in cooperation
with Schloss Dagstuhl =E2=80=93 Leibniz Center for Informatics.
LIPIcs volumes are published according to the principle of Open Access,
i.e., they are available online and free of charge. The accepted papers
will need to comply with the LIPIcs style.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
Topics
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D

Papers presenting original research on all aspects of theoretical computer
science are sought. Typical, but not exclusive, topics of interest are:

Track B: Automata, Logic, Semantics, and Theory of Programming
---------------------------------------------------------------------------=
-------------
Algebraic and Categorical Models of Computation
Automata, Logic, and Games
Database Theory, Constraint Satisfaction Problems, and Finite Model Theory
Formal and Logical Aspects of Learning
Formal and Logical Aspects of Security and Privacy
Logic in Computer Science and Theorem Proving
Models of Computation: Complexity and Computability
Models of Concurrent, Distributed, and Mobile Systems
Models of Reactive, Hybrid, and Stochastic Systems
Principles and Semantics of Programming Languages
Program Analysis, Verification, and Synthesis
Type Systems and Typed Calculi

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
ICALP 2027 Programme Committee
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D

Track A: Algorithms, Complexity and Games
-----------------------------------------------------------
Saket Saurabh (Institute of Mathematical Sciences, Chennai), Co-Chair
Jukka Suomela (Aalto University), Co-Chair
(Other members TBA)

Track B: Automata, Logic, Semantics, and Theory of Programming
---------------------------------------------------------------------------=
-------------
Erika Abraham, RWTH Aachen University, Germany
S. Akshay, Indian Institute of Technology Bombay, India
Shaull Almagor, Technion, Israel
Albert Atserias, Universitat Polit=C3=A8cnica de Catalunya, Spain
Miriam Backens, Inria & Loria, France
Libor Barto, Charles University, Czechia
Valerie Berthe, CNRS, France
Manuel Bodirsky (Track Co-chair), TU Dresden, Germany
Filippo Bonchi, University of Pisa, Italy
Samuel Braunfeld, Czech Academy of Sciences, Czechia
Lorenzo Clemente, University of Warsaw, Poland
Wojciech Czerwi=C5=84ski, University of Warsaw, Poland
Jos=C3=A9e Desharnais, Universit=C3=A9 Laval, Canada
Nathana=C3=ABl Fijalkow, CNRS, LaBRI, Bordeaux, France
Bernd Finkbeiner, CISPA Helmholtz Center for Information Security and
Technical University of Munich, Germany
Sergey Goncharov, University of Birmingham, UK
Ichiro Hasuo (Track Co-chair), National Institute of Informatics, Japan
Shih-Han Hung, National Taiwan University, Taiwan
Cezary Kaliszyk, University of Melbourne, Australia
Benjamin Kaminski, Saarland University, Germany and University College
London, UK
Delia Kesner, Universite Paris Cite, France
Sandra Kiefer, University of Oxford, UK
Takayuki Kihara, Nagoya University, Japan
Krishna, IIT Bombay, India
Ranko Lazic, University of Warwick, UK
Alessio Mansutti, IMDEA Software Institute, Spain
Joshua Moerman, Open University, the Netherlands
Jakob Piribauer, TU Dresden, Germany
Amaury Pouly, Univ Rennes, CNRS, Inria, IRISA, France
Jurriaan Rot, Radboud University, the Netherlands
Sebastian Rudolph, TU Dresden, Germany
Mahsa Shirmohammadi, CNRS, France
Mateusz Skomra, LAAS-CNRS, France, France
Ana Sokolova, University of Salzburg, Austria
Sam Staton, University of Oxford, UK
Hiroshi Unno, Tohoku University, Japan
Tarmo Uustalu, Reykjavik University, Iceland and Tallinn University of
Technology, Estonia
Niccol=C3=B2 Veltri, Tallinn University of Technology, Estonia
Thorsten Wissmann, FAU Erlangen-N=C3=BCrnberg, Germany
Standa =C5=BDivn=C3=BD, University of Oxford, UK

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
ICALP 2027 Workshops
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
The first call will be issued in the coming fall.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
ICALP 2027 Proceedings Chair
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
Gabriele Puppis (Udine University)

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
ICALP 2027 Organizing Committee
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D
Jakub Kozik (Jagiellonian University), Conference Co-Chair
Marcin Kozik (Jagiellonian University), Conference Co-Chair

--000000000000daf75906567326ab
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><span id=3D"gmail-docs-internal-guid-488b4919-7fff-a807-29=
68-738d08d5524f"><p style=3D"line-height:1.38;margin-top:0pt;margin-bottom:=
0pt">[Apologies for multiple=C2=A0copies]=C2=A0</p><p style=3D"line-height:=
1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir=3D"ltr" style=3D"line=
-height:1.38;margin-top:0pt;margin-bottom:0pt">=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>ICALP=
 2027 Track B - First Call for Papers (First Round)<br><a href=3D"https://i=
calp.uj.edu.pl/track-b/">https://icalp.uj.edu.pl/track-b/</a><br>=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D<br><br>The 54th EATCS International Colloquium on Automata, Langu=
ages, and Programming<br>(ICALP) will take place in:<br><br>Krak=C3=B3w, Po=
land, July 5-9, 2027<br><br>ICALP is the main conference and annual meeting=
 of the European Association for Theoretical Computer Science (EATCS). As u=
sual, ICALP will be collocated with a series of workshops.<br><br>The 2027 =
edition has the following features:<br><br>- Submissions are anonymous; for=
 track B, there is a rebuttal phase. <br>- For the first time, Track B will=
 be using a two-round submission process. A paper can be submitted to one o=
ut of two submission deadlines, but not to both. (Track A has only one roun=
d.)<br>- The conference is planned as a physical, in-person event.<br><br>=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D<br>Important dates and information (for Track B)<br>=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D<br><br>First round (for Track B only)<br>------------------=
--------------------<br>Submissions: September 15, 2026 (anywhere on earth)=
 <br>Rebuttal: 5-9 November, 2026<br>Author notification: 8 December 2026<b=
r><br>Second round for Track B (and the only round for Track A)<br>--------=
---------------------------------------------------------------------<br>Su=
bmissions: TBA<br>Rebuttal: TBA<br>Author notification: TBA<br><br>Camera-r=
eady version: TBA<br>Early registration: TBA<br>Conference: July 5-9, 2027<=
br>=C2=A0<br>Deadlines are firm; late submissions will not be considered.<b=
r>Conference website: <a href=3D"https://icalp.uj.edu.pl/home/#home">https:=
//icalp.uj.edu.pl/home/#home</a><br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>Submission =
guidelines (for Track B)<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><br>1) Papers must pres=
ent original research on the theory of computer science. No prior publicati=
on and no simultaneous submission to other publication outlets (either a co=
nference or a journal) is allowed. Authors are encouraged to also make full=
 versions of their submissions freely accessible in an on-line repository s=
uch as ArXiv, HAL, ECCC.<br><br>2) Submissions should start with a title pa=
ge consisting of the title of the paper, no author information (see below),=
 and an abstract. There is no page limit and authors are encouraged to use =
the =E2=80=9Cfull version=E2=80=9D of their paper as the submission. The su=
bmission should contain, within the initial ten pages following the title p=
age, a clear presentation of the merits of the paper, its main contribution=
s, and key concepts and technical ideas used to obtain the results. Submiss=
ions must provide proofs that allow the verification of the mathematical cl=
aims of the paper. Although there is no bound on the length of a submission=
, material other than the abstract, references, and the first ten pages wil=
l be read at the committee=E2=80=99s discretion. The submission should be t=
ypeset using readable fonts (e.g. 11-point), in a single-column format with=
 ample spacing throughout (e.g. single-space between lines and 1-inch margi=
ns all around). The use of the LIPIcs document class is recommended.<br><br=
>3) Submissions are anonymous. The conference will employ a lightweight dou=
ble-blind reviewing process. Submissions should not reveal the identity of =
the authors in any way. Authors should ensure that any references to their =
own related work are in the third person (e.g., not =E2=80=9CWe build on ou=
r previous work=E2=80=A6=E2=80=9D but rather =E2=80=9CWe build on the work =
of =E2=80=A6=E2=80=9D).<br><br>The purpose of this double-blind process is =
to help PC members and external reviewers come to an initial judgment about=
 the paper without bias, and not to make it impossible for them to discover=
 who the authors are if they were to try. Nothing should be done in the nam=
e of anonymity that weakens the submission or makes the job of reviewing th=
e paper more difficult. In particular, important references should not be o=
mitted. In addition, authors should feel free to disseminate their ideas or=
 draft versions of their paper as they normally would. For example, authors=
 may post drafts of their papers on the web, submit them to arXiv, and give=
 talks on their research ideas.<br><br>4) Submissions authored or co-author=
ed by members of the program committee are allowed.<br><br>5) The submissio=
ns are done via HotCRP to the appropriate track of the conference. The use =
of pdflatex or similar pdf generating tools is mandatory. Papers that devia=
te significantly from these requirements risk rejection without considerati=
on of merit.<br><br>6) For Track B, the authors will have the opportunity t=
o view and respond to initial reviews. Further instructions will be sent to=
 authors of submitted papers before that time.<br><br>7) At least one autho=
r of each accepted paper is expected to register for the conference, and al=
l talks are in-person. In exceptional cases, alternative arrangements may b=
e considered by the program co-chairs. <br><br>8) Papers authored only by s=
tudents should be marked as such upon submission in order to be eligible fo=
r the best student paper awards of the track.<br><br>9) For Track B, we use=
 a two-round submission process. A paper may be submitted to one out of two=
 submission deadlines, but not to both. The decision for the first round is=
 final (no =E2=80=9Ccarry over=E2=80=9D to the second round); if a paper is=
 rejected then, it cannot be resubmitted to the second round. (Note that Tr=
ack A has only one round.)<br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>Use of Artificial=
 Intelligence (AI)<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><br>1) Use of AI tools for co=
nducting research must be disclosed in a submitted paper, with their specif=
ic uses described in detail. Such uses include the design of the research p=
roject, creation of theories and algorithms, designing experiments, generat=
ion and collection of data, coding, data analysis, testing, assisting with =
writing, or any aspects that are directly relevant to the conclusion of the=
 research.<br><br>2) All named authors on a submission will be held respons=
ible and accountable for any problematic content contained in the submissio=
n, regardless of its source.<br><br>3) PC members and subreferees must pres=
erve confidentiality of the submitted material; in particular, it should no=
t be passed to external AI tools. <br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>Proceedings=
<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D<br><br>ICALP proceedings are published in the Leib=
niz International Proceedings in Informatics (LIPIcs) series. This is a ser=
ies of high-quality conference proceedings across all fields in informatics=
 established in cooperation with Schloss Dagstuhl =E2=80=93 Leibniz Center =
for Informatics.<br>LIPIcs volumes are published according to the principle=
 of Open Access, i.e., they are available online and free of charge. The ac=
cepted papers will need to comply with the LIPIcs style.<br><br>=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D<br>Topics<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><br>Papers presenting origina=
l research on all aspects of theoretical computer science are sought. Typic=
al, but not exclusive, topics of interest are:<br><br>Track B: Automata, Lo=
gic, Semantics, and Theory of Programming<br>------------------------------=
----------------------------------------------------------<br>Algebraic and=
 Categorical Models of Computation<br>Automata, Logic, and Games<br>Databas=
e Theory, Constraint Satisfaction Problems, and Finite Model Theory<br>Form=
al and Logical Aspects of Learning<br>Formal and Logical Aspects of Securit=
y and Privacy<br>Logic in Computer Science and Theorem Proving<br>Models of=
 Computation: Complexity and Computability<br>Models of Concurrent, Distrib=
uted, and Mobile Systems<br>Models of Reactive, Hybrid, and Stochastic Syst=
ems<br>Principles and Semantics of Programming Languages<br>Program Analysi=
s, Verification, and Synthesis<br>Type Systems and Typed Calculi<br><br>=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D<br>ICALP 2027 Programme Committee<br>=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br=
><br>Track A: Algorithms, Complexity and Games<br>-------------------------=
---------------------------------- <br>Saket Saurabh (Institute of Mathemat=
ical Sciences, Chennai), Co-Chair<br>Jukka Suomela (Aalto University), Co-C=
hair <br>(Other members TBA)<br><br>Track B: Automata, Logic, Semantics, an=
d Theory of Programming<br>------------------------------------------------=
----------------------------------------<br>Erika Abraham, RWTH Aachen Univ=
ersity, Germany<br>S. Akshay, Indian Institute of Technology Bombay, India<=
br>Shaull Almagor, Technion, Israel<br>Albert Atserias, Universitat Polit=
=C3=A8cnica de Catalunya, Spain<br>Miriam Backens, Inria &amp; Loria, Franc=
e<br>Libor Barto, Charles University, Czechia<br>Valerie Berthe, CNRS, Fran=
ce<br>Manuel Bodirsky (Track Co-chair), TU Dresden, Germany<br>Filippo Bonc=
hi, University of Pisa, Italy<br>Samuel Braunfeld, Czech Academy of Science=
s, Czechia<br>Lorenzo Clemente, University of Warsaw, Poland<br>Wojciech Cz=
erwi=C5=84ski, University of Warsaw, Poland<br>Jos=C3=A9e Desharnais, Unive=
rsit=C3=A9 Laval, Canada<br>Nathana=C3=ABl Fijalkow, CNRS, LaBRI, Bordeaux,=
 France<br>Bernd Finkbeiner, CISPA Helmholtz Center for Information Securit=
y and Technical University of Munich, Germany<br>Sergey Goncharov, Universi=
ty of Birmingham, UK<br>Ichiro Hasuo (Track Co-chair), National Institute o=
f Informatics, Japan<br>Shih-Han Hung, National Taiwan University, Taiwan<b=
r>Cezary Kaliszyk, University of Melbourne, Australia<br>Benjamin Kaminski,=
 Saarland University, Germany and University College London, UK<br>Delia Ke=
sner, Universite Paris Cite, France<br>Sandra Kiefer, University of Oxford,=
 UK<br>Takayuki Kihara, Nagoya University, Japan<br>Krishna, IIT Bombay, In=
dia<br>Ranko Lazic, University of Warwick, UK<br>Alessio Mansutti, IMDEA So=
ftware Institute, Spain<br>Joshua Moerman, Open University, the Netherlands=
<br>Jakob Piribauer, TU Dresden, Germany<br>Amaury Pouly, Univ Rennes, CNRS=
, Inria, IRISA, France<br>Jurriaan Rot, Radboud University, the Netherlands=
<br>Sebastian Rudolph, TU Dresden, Germany<br>Mahsa Shirmohammadi, CNRS, Fr=
ance<br>Mateusz Skomra, LAAS-CNRS, France, France<br>Ana Sokolova, Universi=
ty of Salzburg, Austria<br>Sam Staton, University of Oxford, UK<br>Hiroshi =
Unno, Tohoku University, Japan<br>Tarmo Uustalu, Reykjavik University, Icel=
and and Tallinn University of Technology, Estonia<br>Niccol=C3=B2 Veltri, T=
allinn University of Technology, Estonia<br>Thorsten Wissmann, FAU Erlangen=
-N=C3=BCrnberg, Germany<br>Standa =C5=BDivn=C3=BD, University of Oxford, UK=
<br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>ICALP 2027 Workshops<br>=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
<br>The first call will be issued in the coming fall. <br><br>=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D<br>ICALP 2027 Proceedings Chair<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>Gabriele Pu=
ppis (Udine University)<br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>ICALP 2027 Organizin=
g Committee<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>Jakub Kozik (Jagiellonian University),=
 Conference Co-Chair<br>Marcin Kozik (Jagiellonian University), Conference =
Co-Chair<br><br></p></span></div>

--000000000000daf75906567326ab--


--===============5243282750035465294==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============5243282750035465294==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info

--===============5243282750035465294==--