A postdoctoral research position is available at King's College London. The successful candidate will be hosted by Hubie Chen and will work on the computational complexity of database query evaluation and related topics. The position, which is funded by a grant from UK's EPSRC, is offered for 2 years. Research interest and experience in the following areas will be valued: logic in computer science, database…
A blog on the Theoretical Foundations of Data Management
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 takes place in…
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
- Frank Neven (Hasselt University): Robustness against read committed: a free transactional lunch. …
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: …