Invited Speakers
Alexandru Baltag
University of Amsterdam
Marta Bílková
Czech Academy of Sciences
David Fernández-Duque
University of Barcelona
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net.
AiML 2024 is organized by the Institute of Computer Science of the Czech Academy of Sciences, the Institute of Philosophy of the Czech Academy of Sciences and the Faculty of Arts of Charles University.
AiML 2024 is collocated with the 21st International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2024).
The full call for papers can be found here.
Faculty of Arts, Charles University. 116 38, Prague 1, The Czech Republic.
All AiML talks and all invited talks of AiML and RAMiCS take place in room 200 (2nd floor). All contributed RAMiCS talks take place in room 300 (3rd floor).
On-site registration starts on Monday 19 August at 08:00. The registration desk is located outside room 200 (2nd floor).
Note: Book your accommodation as soon as possible as August is high season in Prague.
The venue is located a few metres from the Staroměstská metro station (exit E1). Information on public transport in Prague, including a connection finder, can be found here, a metro map can be found here, and a combined metro-tram map can be found here.
Lunch is not provided on site, but the conference venue is surrounded by restaurants and cafés. We have collected some suggestions here.
These web pages gather information that visitors to Prague may find useful.
The AiML+RAMiCS Safety and Inclusivity Team serves as the main point of contact at the conferences for any issues related to safety, harassment and threatening behaviour. If you have any questions or concerns about these or related issues, we encourage you to speak to a member of the Safety and Inclusivity Team, who can be identified by a blue sticker on their conference badge. The team members are Marta Bílková, Wesley Fussner and Filip Jankovec.
The local organisation team can be contacted at aiml-ramics@cs.cas.cz.
The AiML+RAMiCS 2024 joint programme can be downloaded as a PDF here and viewed in the box below as well. An interactive online version of the joint programme of AiML+RAMiCS is available at
https://easychair.org/smart-program/AiML2024/
The volume of short papers is available here.
MOSAIC: Rise-MSCA-2020 P.101007627
Czech Society for Cybernetics and Informatics
Social events
Welcome party
The AiML+RAMiCS 2024 Welcome Party will take place on Monday 19 August at 19:00 at the Institute of Philosophy of the Czech Academy of Sciences, Jilská 352/1, Prague 1. The party will take place on the ground floor, in the courtyard of the Institute, which can be reached by turning right immediately after passing the reception desk.
The Institute of Philosophy is a 10-minute walk from the conference venue. The nearest metro stations are "Národní třída" (line B, "yellow") and "Můstek" (lines A and B, "green" and "yellow" respectively).
Light vegan snacks, Czech craft beer and wine and a selection of soft drinks will be served. You may wish to supplement these refreshments with a proper dinner afterwards.
Conference dinner
The AiML+RAMiCS 2024 Conference Dinner will take place on Thursday 22 August from 19:30 till roughly 23:00 in Pavilon Grébovka, located in the Havlíček Gardens park.
The nearest metro station is "Náměstí míru" (line A, "green") from which it takes about 15 minutes to reach Pavilon Grébovka by foot. Alternatively, you can take a tram to the "Krymská" stop from where it is an 8 minute walk.
Buffet dinner including barbecue. The park closes at midnight.
Excursions
Organised excursions will take place in the afternoon of Wednesday 21 August. The excursions are free of charge for registered conference participants, but we do require participants to register for an excursion option if they wish to attend. The number of participants per excursion is limited and places will be allocated on a first-come, first-served basis. Registration for excursions closes at noon on Monday 19 August. Details of excursions and registration will be sent by email. Please note that some excursions will include optional activities not covered by the conference and we will need participants to indicate if they wish to partake.
Please note that the tours of Vyšehrad and Klementinum are guided and the tour of Strahov Abbey is self-guided. The tour of Strahov Abbey begins with a tram ride from the city centre, which requires a 30-minute basic ticket (not included in the conference fee). The tour of the Klementinum includes a climb up a narrow and steep spiral staircase to the Astronomical Tower.
The excursions are optional. Additional information about the excursions and our suggestions for other individual activities for those who do not wish to participate in the group excursions can be found here.
Vyšehrad
Vyšehrad, a historic fort perched on the Vltava River's east bank, is a captivating slice of Prague's past. Once the seat of Bohemian kings, this ancient fortress now houses the stunning Basilica of St. Peter and St. Paul, a tranquil park, and the prestigious Vyšehrad Cemetery where many Czech luminaries find their final resting place.
Find out more here.
Klementinum
The Klementinum is the second largest complex of buildings in Prague after Prague Castle and is now the seat of the National Library of the Czech Republic. The tour takes place in part of the former Jesuit College, the Baroque Library, the most beautiful of the Klementinum's halls, the Meridian Hall with its historical astronomical instruments and the Astronomical Tower. The tour also includes a visit to the Mirror Chapel and the Old Mathematical Hall.
Find out more here.
Strahov Abbey
Strahov Abbey, a majestic Premonstratensian monastery perched on Prague's Petrin Hill, is a treasure trove of history and culture. Founded in 1143, it boasts stunning Baroque architecture, including the world-renowned Philosophical and Theological Halls, adorned with intricate frescoes and housing an impressive collection of ancient books. Visitors can explore its serene gardens, visit the Basilica, and even sample the monastery's own brewed beer.
Find out more here.