Reading Group on Planning and Search
In the reading group, we discuss current and classical research papers. The emphasis lies on work on action planning, search and related areas, but interesting papers from other areas are welcome. All participants can make recommendations for the reading list, from which one or more papers are selected for each meeting. Participants read the selected papers individually in preparation for the meeting and discuss them during the meeting.
The target audience of the reading group consists of researchers and interested guests, comparable to a post-graduate seminar. Students at all levels may feel free to participate, but should be aware that only PhD students enrolled in Basel can obtain ECTS points in the reading group.
Time and Place
Time: Thursday, 16:15
Place: Online. The link to the Zoom meeting can be found on the reading group Discord server.
Discord Server
The papers covered by the reading group are announced on the reading group Discord server. To protect against spam, we do not provide links here. To obtain access, please contact one of the members of the Artificial Intelligence research group.
Schedule
| Date | Topic |
|---|---|
| 2026-08-20 |
Aina Niemetz, Mathias Preiner, Clark Barrett. Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers. In Proceedings of the 34th International Conference on Computer Aided Verification (CAV 2022), Part II, pp. 92-106. (paper) |
Further Information
The papers that were read in the reading group in previous semesters can be found in the reading group archive.
If you have any questions, please do not hesitate to contact Malte Helmert.