RAMiCS 2024: Call for Papers

The 21st International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2024) will be held in Prague, Czech Republic, from August 19 to 22, 2024, at the Faculty of Arts of Charles University. The conference is collocated with AiML 2024.

Submission Guidelines

• All papers will be peer-reviewed by at least three referees.
• Submissions must be in English.
• Format: PDF.
• Length: Not exceeding 16 pages (excluding references).
• Style: LNCS style.
• Submissions must not be published or under review for publication elsewhere.
• Submissions must provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by reference to a manuscript on a web site.
• Experimental data, software, or mathematical components for theorem provers must be available in sufficient detail for referees. Deviation from these requirements may lead to rejection.
• One author of each accepted paper is expected to present the paper at the conference.
• Accepted papers must be produced with LaTeX.
• Formatting instructions and LNCS style files are available at http://www.springer.com/comp/lncs/authors.html.

Submission Method

Submission is via EasyChair at https://easychair.org/conferences/?conf=ramics2024.

Publication

• The proceedings will be published in an LNCS volume by Springer, ready at the conference.
• As for earlier RAMiCS conferences, there is an intention to publish a journal special issue with revised and extended versions of a selection of the best papers.

Deadlines

• Submission: February 21, 2025
• Notification: March 24, 2025
• Registration: April 05, 2025
• Camera ready: April 13, 2025

Note: Deadlines may differ for special tracks. Please consult the conference home page for special tracks Call for Papers (if any).

Contact

For inquiries, please contact ramics2024@easychair.org.

Invited Speakers

• Sergey Goncharov
• Tomasz Kowalski
• Sarah Winter

Program Committee

• Roland Backhouse
• Manuel Bodirsky
• Xavier Caicedo Ferrer
• Willem Conradie
• Jules Desharnais
• Jérémy Dubut
• Uli Fahrenberg (co-chair)
• Marie Fortin
• Hitoshi Furusawa
• Wesley Fussner (co-chair)
• Roland Glück (co-chair)
• Valentin Goranko
• Walter Guttmann
• Robin Hirsch
• Peter Höfner
• Sebastiaan Joosten
• Wolfram Kahl
• Tobias Kappé
• Jérémy Ledent
• Roger Maddux
• Dale Miller
• Luigi Santocanale
• Ana Sokolova
• Jiři Srba
• Sara Ugolini
• Jana Wagemaker
• Michael Winter
• Krzysztof Ziemiański