From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10833 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Kousha Etessami Newsgroups: gmane.science.mathematics.categories Subject: ICALP 2023 -- first Call for Papers (Submission Deadline: February 11th, 2023) Date: Fri, 28 Oct 2022 16:59:33 +0100 (BST) Message-ID: Reply-To: Kousha Etessami Mime-Version: 1.0 Content-Type: text/plain; CHARSET=UTF-8; format=flowed Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="16272"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Fri Oct 28 19:10:13 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1ooSs1-0003zq-AR for gsmc-categories@m.gmane-mx.org; Fri, 28 Oct 2022 19:10:13 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:34198) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1ooSrK-0001Cz-E7; Fri, 28 Oct 2022 14:09:30 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1ooSqk-0005x9-QJ for categories-list@rr.mta.ca; Fri, 28 Oct 2022 14:08:54 -0300 Content-ID: Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10833 Archived-At: Dear Colleagues, Below please find the CALL FOR PAPERS for the ICALP 2023 conference. ICALP 2023, the 50th ICALP conference, will take place in Paderborn, German= y, July 10th-14th, 2023. The deadline for submissions is ** February 11th, 2023 **. We hope you will consider submitting your papers to ICALP 2023. Best regards, Kousha Etessami (ICALP 2023--Track-B PC 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 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=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 2023 - First Call for papers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=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 50th EATCS International Colloquium on Automata, Languages, and Program= ming (ICALP) will take place in: Paderborn, Germany, on 10-14 July 2023. ICALP is the main conference and annual meeting of the European Association= for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which w= ill take place on July 10. The 2023 edition has the following features: - Submissions are anonymous, and there is a rebuttal phase. - The conference is planned as a physical, in-person event. - This will be the 50th ICALP conference and some special events are planne= d. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=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 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D Submissions: February 11, 2023 at 11am CET Rebuttal: March 22-25, 2023 Author notification: April 21, 2023 Camera-ready version: May 5, 2023 Early registration: TBA Conference: July 10-14, 2023 (Workshops on July 10, 2023) Deadlines are firm; late submissions will not be considered. Conference website: https://icalp2023.cs.upb.de/ Twitter: @ICALPconf Submission (tracks A and B): https://easychair.org/conferences/?conf=3Dical= p2023 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D Invited Speakers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D Anna Karlin - University of Washington, USA Rasmus Kyng - ETH Zurich, Switzerland Rupak Majumdar - Max Planck Institute for Software Systems, Germany Thomas Vidick - California Institute of Technology, USA, and Weizmann Insti= tute of Science, Israel James Worrell - 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 Submission guidelines =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=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 o= r a journal) is allowed. Authors are encouraged to also make full versions of their submissions freely accessibl= e in an on-line repository such as ArXiv, HAL, ECCC. 2) Submissions take the form of an extended abstract of no more than 15 pag= es, excluding references and a clearly labelled appendix. The appendix may consist either of omitted proofs or of = a full version of the submission, and it will be read at the discretion of program committee members. The extende= d abstract has to present the merits of the paper and its main contributions clearly, and describe the key conce= pts and technical ideas used to obtain the results. Submissions must provide the proofs which can enable the main mathematical claims of the paper to be fully verified. 3) Submissions are anonymous. The conference will employ a fairly lightweig= ht double-blind reviewing process. Submissions should not reveal the identity of the authors in any way. In particular, authors=E2=80=99 names, affiliations, and email addresses should not appear at the beginning or in = the body of the submission. Authors should ensure that any references to their own related work are in the thir= d 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 o= f =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 or anonymized. In addition, authors should feel free to disseminate their ideas or draft versions of th= eir 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) The submissions are done via Easychair to the appropriate track of the conference (see topics below). The use of pdflatex and the LIPIcs style are mandatory: papers that deviate significantly from the required format risk rejection without consideration of merit. 5) During the rebuttal phase, authors will have from March 22-25 to view an= d respond to initial reviews. Further instructions will be sent to authors of submitted papers before that time. 6) At least one author of each accepted paper is required to register for t= he conference, and all talks are in-person. In exceptional cases, there may be support for remotely presenti= ng a talk. 7) Papers authored only by students should be marked as such upon submissio= n in order to be eligible for the best student paper awards of the track. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D Awards =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D During the conference, the following awards will be given: =E2=80=93 the EATCS award, - the Church prize, =E2=80=93 the Presburger award, =E2=80=93 the EATCS distinguished dissertation award, =E2=80=93 the best papers for Track A and Track B, =E2=80=93 the best student papers for Track A and Track B (see submission g= uidelines). =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=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 a= re published according to the principle of Open Access, i.e., they are available online and free of charge. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=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 A: Algorithms, Complexity and Games ----------------------------------------------------------- Algorithmic and Complexity Aspects of Network Economics Algorithmic Aspects of Biological and Physical Systems Algorithmic Aspects of Networks and Networking Algorithmic Aspects of Security and Privacy Algorithmic Game Theory and Mechanism Design Approximation and Online Algorithms Combinatorial Optimization Combinatorics in Computer Science Computational Complexity Computational Geometry Computational Learning Theory Cryptography Data Structures Design and Analysis of Algorithms Distributed and Mobile Computing Foundations of Machine Learning Graph Mining and Network Analysis Parallel and External Memory Computing Parameterized Complexity Quantum Computing Randomness in Computation Sublinear Time and Streaming Algorithms Theoretical Foundations of Algorithmic Fairness 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 2023 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 Amir Abboud (Weizmann Institute, Israel) Mikkel Abrahamsen (University of Copenhagen, Denmark) Sepehr Assadi (Rutgers University, USA) Aditya Bhaskara (University of Utah, USA) Arnab Bhattacharyya (National University of Singapore, Singapore) Greg Bodwin (University of Michigan, USA) Karl Bringmann (Saarland University, Germany) Cl=C3=A9ment Canonne (University of Sydney, Australia) Vincent Cohen Addad (Google Research, Zurich) Amin Coja Oghlan (TU Dortmund, Germany) Michael (Mike) Dinitz (Johns Hopkins University, USA) Uriel Feige (Chair) (Weizmann Institute and MSR, Israel) Moran Feldman (University of Haifa, Israel) Sebastian Forster (University of Salzburg, Austria) Sumegha Garg (Harvard University, USA) Parikshit Gopalan (Apple, USA) Russell Impagliazzo (University of California, San Diego, USA) Karthik C.S.(Rutgers University, USA) Yin Tat Lee (University of Washington, USA) Stefano Leonardi (Sapienza Universita di Roma, Italy) Sepideh Mahabadi (MSR Redmond, USA) Giulio Malavolta (Max Planck Institute for Security and Privacy, Germany) Jesper Nederlof (Utrecht University, Netherlands) Vianney Perchet (Ensae and Criteo AI Lab, France) Will Perkins (Georgia Institute of Technology, USA) Marcin Pilipczuk (University of Warsaw, Poland, and IT University of Copenhagen, Denmark) Aviad Rubinstein (Stanford University, USA) Barna Saha (University of California San Diego, USA) Rahul Santhanam (University of Oxford, UK) Thatchaphol Saranurak (University of Michigan, USA) Igor Shinkar (Simon Fraser University, Canada) Mohit Singh (Georgia Institute of Technology, USA) David Steurer (ETH Zurich, Swizerland) Ola Svensson (EPFL, Switzerland) Inbal Talgam-Cohen (Technion, Israel) Kavitha Telikepalli (Tata Institute of Fundamental Research, Mumbai, India) Vera Traub (University of Bonn, Germany) Salil Vadhan (Harvard University, USA) David Wajc (Google Research, USA) Henry Yuen (Columbia University, USA) Meirav Zehavi (Ben-Gurion University, Israel) Track B: Automata, Logic, Semantics, and Theory of Programming Shaull Almagor (Technion, Israel) Albert Atserias (Universitat Politecnica de Catalunya, Barcelona, Spain) Christel Baier (TU Dresden, Germany) V=C3=A9ronique Bruy=C3=A8re (University of Mons, Belgium) Thomas Colcombet (IRIF / CNRS / Universit=C3=A9 Paris Cit=C3=A9, France) Andrei Bulatov (Simon Fraser University, Canada) Wojciech Czerwi=C5=84ski (University of Warsaw, Poland) Kousha Etessami (Chair) (University of Edinburgh, UK) John Fearnley (University of Liverpool, UK) Dana Fisman (Ben-Gurion University, Israel) Rob van Glabbeek (University of New South Wales, Australia) Chris Heunen (University of Edinburgh, UK) Justin Hsu (Cornell University, USA) Stefan Kiefer (University of Oxford, UK) Kohei Kishida (University of Illinois Urbana-Champaign, USA) Jan Kretinsky (Technical University of Munich, Germany) Karoliina Lehtinen (CNRS, Universit=C3=A9 Aix Marseille et Universit=C3=A9 = de Toulon, LIS, France) Anthony Widjaja Lin (TU Kaiserslautern & MPI-SWS, Germany) Wim Martens (University of Bayreuth, Germany) Joanna Ochremiak (CNRS, University of Bordeaux, France and University of Warsaw, Poland) Daniela Petrisan (Universit=C3=A9 Paris Cit=C3=A9, IRIF, France) Sam Staton (University of Oxford, UK) Ashutosh Trivedi (University of Colorado - Boulder, USA) Takeshi Tsukada (Chiba University, Japan) Mahesh Viswanathan (University of Illinois Urbana-Champaign, USA) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=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 2023 Workshop 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 Track A and B: Matthias Fischer Selection Committee: Johannes Bl=C3=B6mer Christian Scheideler Friedhelm Meyer auf der Heide See more details on the Call for Workshops webpage: https://icalp2023.cs.upb.de/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 ICALP 2023 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 (University of Udine, Italy) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=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 2023 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 Ulrich Ahlers Bernard Bauer Johannes Bl=C3=B6mer Tanja B=C3=BCrger Nadija Carter Fabian Eidens Rainer Feldmann Matthias Fischer Sevag Gharibian (Chair) Marion Hucke Claudia Jahn Friedhelm Meyer auf der Heide Franziska Reichelt Petra Sch=C3=A4fermeyer Christian Scheideler Ulf-Peter Schroeder Christian Soltenborn Anna Steinig Thomas Thissen Heinz Georg Wassing [For admin and other information see: http://www.mta.ca/~cat-dist/ ]