Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CIAC 2023 CFP


view this post on Zulip Email Gateway (Sep 29 2022 at 04:41):

From: Besik Dundua <bdundua@gmail.com>
The 13th International Symposium on Algorithms and Complexity is planned to
take place from 13 June to 16 June 2023 in Batumi, Georgia. It will follow
the recent, very successful editions of CIAC 2021 in Larnaca, Cyprus, CIAC
2019 in Rome, Italy, CIAC 2017 in Athens, Greece, CIAC 2015 in Paris,
France and CIAC 2013 in Barcelona, Spain.

LISTS OF TOPICS

Authors are invited to submit papers presenting original and unpublished
research on algorithms and complexity. Typical areas include:

algorithm design and analysis
sequential, parallel and distributed algorithms
data structures
computational and structural complexity
lower bounds and limitations of algorithms
randomized and approximation algorithms
parameterized algorithms and parameterized complexity classes
smoothed analysis of algorithms
alternatives to the worst-case analysis of algorithms (e.g., algorithms
with predictions)
on-line computation and competitive analysis
streaming algorithms
quantum algorithms and complexity
algorithms in algebra, geometry, number theory and combinatorics
computational geometry
algorithmic game theory and mechanism design
algorithmic economics (including auctions and contests)
computational learning theory
computational biology and bioinformatics
algorithmic issues in communication networks
algorithms for discrete optimization (including convex optimization)
algorithm engineering

SUBMISSIONS

Authors are invited to submit an extended abstract or full paper with at
most 15 pages, excluding the title page and the references. The title page
consists of the title of the paper, author information and the abstract.
The first section of the paper should start on the next page.

The usage of the LNCS style file is mandatory. No changes to font size,
page geometry, etc. are permitted. Late submissions and submissions not in
the correct format will not be considered. Submissions will be through
EasyChair.

The paper should contain a succinct statement of the issues and their
motivation a summary of the results, a brief explanation of their
significance and a comparison to related work, accessible to
non-specialists. Proofs omitted due to space constraints must be put into
an appendix, to be read by the PC members at their discretion.

Simultaneous submission to other conferences with published proceedings or
to journals is not allowed.

At least one author of each accepted paper will have to register for the
conference. For authors who cannot present their paper in person for a
significant reason, possibility for remote presentation may be offered.

INVITED SPEAKERS (CONFIRMED)

Friedhelm Meyer auf der Heide (University of Paderborn, Germany)

Giuseppe Persiano (University of Salerno, Italy)

Paul Spirakis (University of Liverpool, UK and CTI, Greece)

PROGRAM COMMITTEE

Hagit Attiya (The Technion, Israel)
Vittorio Bil\`{o} (University of Salento, Italy)
Costas Busch (Augusta University, USA)
Gianlorenzo D’Angelo (Gran Sasso Science Institute, Italy)
Amin Coja-Oghlan (University of Frankfurt, Germany)
Ioannis Emiris (Athena Research Center and University of Athens, Greece)
Antonio Fern\’{a}ndez Anta (IMDEA Networks Institute, Spain)
Nicola Galesi (Sapienza University of Rome, Italy)
Kristoffer Arnsfelt Hansen (Aarhus University, Denmark)
Alexandros Hollender (EPFL, Switzerland)
Christos Kaklamanis (University of Patras and CTI, Greece)
Naoyuki Kamiyama (Kyushu University, Japan)
Marios Mavronicolas (University of Cyprus, Cyprus) - Chair
Hendrik Molter (Ben-Gurion University of the Negev, Israel)
Leonidas Palios (University of Ioannina, Greece)
Vicky Papadopoulou Lesta (European University Cyprus, Cyprus)
Nicola Prezza (Ca’ Foscari University of Venice, Italy)
Thomas Sauerwald (University of Cambridge, UK)
Maria Serna (Polytechnic University of Catalonia, Spain)
Blerina Sinaimeri (LUISS Guido Carli University, Italy)
Shay Solomon (Tel Aviv University, Israel)
Paul Spirakis (University of Liverpool, UK and CTI, Greece)
Daniel \v{S}tefankovi\v{c} (University of Rochester, USA)
Adrian Vladu (IRIF, CNRS and University of Paris, France)
Peilin Zhong (Google Research New York, USA)

ORGANIZATION CHAIR

Besik Dundua (Kutaisi International University and Tbilisi State
University, Georgia)

PROCEEDINGS

Accepted papers will be published in the proceedings of the symposium,
which will appear in the Lecture Notes in Computer Science series of
Springer-Verlag. As usual, with the submission of the camera-ready version
of their accepted paper, authors will have to sign a copyright form.

IMPORTANT DATES

CONTACT INFORMATION

Email: mavronic@ucy.ac.cy, bdundua@gmail.com


Last updated: Apr 18 2024 at 20:16 UTC