Section: Dissemination
Participation in conferences organisation
Luc Segoufin is PC-chair of the Intl. Conf. on Database Theory (ICDT'10) to be held in Lausanne in 2010.
Serge Abiteboul was General PC chair of the Very Large Database 2009 Conference.
Several members of the project have participated in program committees:
-
S. Demri: International Conference on Mathematical Foundations of Computer Sciences (MFCS), August 2009; International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), July 2009; International Symposium on Temporal Representation and Reasoning (TIME), July 2009; Workshop on Methods for Modalities (M4M), November, 2009; Worskshop on “ Tableaux as Automata as Logical Decision Procedures”, July 2009.
-
F. Jacquemard: International Conference on RIsks and Security of Internet and Systems (CRISIS), October 2008.
-
L. Segoufin: Computer Science Logic (CSL'09), ACM Principle of Database Systems (PODS'09), Foundations of Software Technology and Theoretical Computer Science (FSTTCS'09), Intl. Conf. on Database Theory (ICDT'10).
-
C. Sirangelo: 12th International Conference on Extending Database Technology (EDBT), March 2009.
-
B. ten Cate: ACM Principles of Database Systems (PODS 2009), Mathematical Foundations of Computer Science (MFCS 2009), Methods for Modalities (M4M 2009), Advances in Modal Logic (AiML 2010), Workshop on Logic, Language, Information and Computation (WoLLIC 2010), Foundations of Information and Knowledge Systems (FoIKS 2010), Intl. World Wide Web Conference (WWW 2010).
In May 2009 Luc Segoufin organized an international workshop in Cachan on foundation of semistructured documents.
In June 2009, Luc Segoufin organized the annual workshop of the working group “Complexité et Modèle Finis” of the GDR-IM in Cachan.
In August 2009, Serge Abiteboul organized with Pierre Senellart and Alban Galland a workshop on Brainstorming on Foundations of Web Data Management.
In July 2009, Balder ten Cate organized in Cachan a Workshop on Modal Logic.
