Main
Home Page
The PLIS Research Group
Welcome to the web pages of the PLIS research group (Programming, Logic and Intelligent Systems) at CBIT, Roskilde University, Denmark.
PLIS Group Home Page in Forskning|RUC including latest publications
News and Events
2012
- Event. 16 May 2012. 42-2.37, 15.00. Guest lecture by Michael Barton. New Approaches to Socio-Ecological Science: Modeling Dynamic Interactions Between People and Landscapes. See Abstract.
- Event. 28 February 2012. PhD defence of Sine Zambach. Title of thesis: Regulatory Relations Represented in Logics and Biomedical Texts. Read more here.
- Visitor. 8 February - 6 March 2012. Siemen Baader is spending a month in virksomhedspraktik working on the SketchCode project, as a pilot project to a possible PhD.
- Announcement. 31 January 2012. EUopSTART grant from FI.dk for preparing EU Framework 7 proposal in ICT for access to cultural resources (Experience Lab initiative together with CBIT research group Knowledge Production and Communication).
2011
- Event. 28 November 2011. PhD defence of Ole Torp Lassen. Title of thesis: Compositionality in probabilistic logic modelling for biological sequence analysis.
- Visit. 31 October - 4 November, 2011. Research visit by Samir Genaim, Complutense University of Madrid, Spain. COPLAS Seminar 4 November, 11.00.
- Event. 26-28 October 2011, FQAS 2011, Ninth International Conference On Flexible Query Answering Systems. Ghent, Belgium. General Co-chair and Program Co-Chair Henning Christiansen.
- Event: 14 October 2011. HYLOCORE Mini-workshop on Modal and Epistemic logic. See programme.
- Event. 13 October 2011. PhD defence of Jens Ulrik Hansen. Title of thesis: A logic toolbox for modeling knowledge and information in multi-agent systems and social epistemology.
- Event. 26-30 September 2011, CONTEXT '11: The 7th International and Interdisciplinary Conference on Modeling and Using Context 2011. Karlsruhe, Germany. General Co-chair Henning Christiansen.
- Event. 27 September 2011, CSLP, 6th International Workshop on Constraints and Language Processing, associated CONTEXT'11. Karlsruhe, Germany. Co-Organizer Henning Christiansen.
- Event. 6-10 July 2011. The 27th International Conference on Logic Programming (ICLP 2011), Lexington, Kentucky, USA. Program Co-Chair John Gallagher.
- Visit. 13 May 2011. Research visit by Amir Ben-Amram, School of Computer Science, The Academic College of Tel-Aviv Yaffo, Israel.
- Visit. 28 March - 1 April 2011. Research visit by Valerio Senni, ERCIM Postdoctoral fellow at INRIA-LORIA, Nancy, France. Seminar 29 March, DTU.
- Denmark-France collaboration project. 16 February 2011. The French Embassy in Denmark has granted 21K kr under the Danish-French research collaboration programme for a project titled The design of interactive experiences: advanced IT in inter-disciplinary teaching and research. The participants are Roskilde University (John Gallagher and Niels Jørgensen) and LIMSI-CNRS & Université Paris 11 (Christian Jacquemin).
- New project announcement: January 2011. New project 2011-2013. Danish Natural Science Research Council (FNU) grant. Numerical and Symbolic Abstractions for Software Model Checking. Value of grant 765K kr. Project participants - John Gallagher, Mads Rosendahl and Morten Rhiger. International project collaborators IMDEA Software, Spain, Ben-Gurion University, Israel, IRISA/Univ. Rennes, France and K.U. Leuven, Belgium.
