REASONING WEB SCHOOL 2022
Co-located with "DECLARATIVE AI"
(Berlin, Germany, September 26-30, 2022)
PROGRAM
September 27th (CET Time)
09:00 - 12:00: "Cross-Modal Knowledge Discovery, Inference, and Challenges"
Meng Wang (South East University, China) and Ningyu Zhang
(Zhejiang…
Monday June 13th
8:00 - 10:30: Session 1, PODS Opening, Keynote Talk, and Streaming (Session chairs: Leonid Libkin and Pablo Barceló)
(1.1) 8:00 - 8:10. Opening.
(1.2) 8:10 - 9:30. Plenary keynote talk. Frank Neven. Robustness against read committed: a free transactional lunch.
(1.3) 9:30 - 9:50. Miklos Ajtai, Vladimir Braverman, T.S. Jayram, Sandeep Silwal, Alec Sun, David P. Woodruff and…
The 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS, will take place in Philadelphia, USA, from June 13th to June 15th, 2022. For more information visit https://2022.sigmod.org/
INVITED TALKS
Keynote
The informal Highlights conference on logic, games, and automata will happen from June 28th to July 1st, 2022, in Paris, France. The conference will be hosted by Université de Paris, and happen on the site of Grands Moulins.
Highlights aims at integrating the community working in the fields of logic, games, and automata. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the Highlights conference…
The Principles of Database Systems (PODS) symposium series, held in conjunction
with the SIGMOD conference series, provides a premier annual forum for the
communication of new advances in the theoretical foundations of data management,
traditional or nontraditional (see https://databasetheory.org/PODS).
PODS Mission
The PODS community aims to provide a solid scientific basis for methods…
The Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw (MIM UW) invites applications for the positions of Assistant Professor (“adiunkt” in Polish) and Associate Professor (“profesor uczelni”) in Computer Science, starting on 1st October 2022.
MIM UW is one of the leading computer science faculties in Europe. It is known for talented…
International Conference on Database Theory (ICDT) 2022 will take place from 29th March to 1st April, 2022 in virtual Edinburgh, UK. It will feature an excellent scientific programme, including keynotes and invited talks jointly with EDBT 2022, and research papers.
*******************************************************
* PostDoc position in Computer Science Logic
* University of Sheffield, UK
* Salary: £32,344 to £40,927 per annum (Grade 7)
* Deadline: 3rd January 2022
* Starting date: ASAP / negotiable
* Duration: Until 31.10.2023 (very likely extension to a total of 26 months)
* Details: …
CALL FOR PAPERS
26th International Conference on Database Theory (ICDT 2023)
ICDT is an international conference series on the principles and theory of data management. Since 2009, it is annually and jointly held with EDBT, the International Conference on Extending Database Technology. See also https://databasetheory.org/icdt-pages.
The 26th edition of ICDT…
As of December 1st, the new journal TheoretiCS is now open for submissions! The goal of TheoretiCS is to be a venue for the highest-quality papers in all areas of theoretical computer science, including database theory.
The journal is open-access: the articles are hosted on arXiv and are free to read, the reviewing process is hosted on the Episciences platform,…