Events

Recent events CENTRIA members have chaired or organized:

2010

• MIUP 2010, The 1st Inter-University Programming Marathon.

2009

• INAP 2009, 18th International Conference on Applications of Declarative Programming and Knowledge Management.
  
• Progic 2009, 4th Workshop on Combining Logic and Probability.
  
• LADS'009, 2nd Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems.
  
• CP 2009, 15th International Conference on Principles and Practice of Constraint Programming.
  
• PCC 2009, 8th Proof, Computation and Complexity.
  
• CSL 2009, 18th EACSL Annual Conference on Computer Science Logic.
  
• EPIA 2009, 14th Portuguese Conference on Artificial Intelligence.
  
• Gentzen Centenary: The Quest of Consistency Workshop, associated with Computer Science Logic 2009.
  

2008

• EASSS'08, 10th European Agent System Summer School.
• NMR’08, 12th International Workshop on Non-Monotonic Reasoning: Special Session on Declarative Programming Paradigms and Systems for NMR.
• Iberian SLTech, SIG-IL/Microsoft Workshop on Speech and Language Techologies for Iberian Languages.
• PROPOR 2008, 8th International Conference on Computational Processing of Portuguese Language.
  

2007

• LADS 007, 1st International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems.
  
• IDA 2007, International Symposium on Intelligent Data Analysis.
  
• STCS'07, EPIA 2007 Workshop on Search Techniques for Constraint Satisfaction.
  

2006

• Reasoning Web 2006 Summer School
• CSCLP'06, 11th ERCIM Workshop on Constraint Solving and Constraint Logic Programming

2005

• PPDP'2005 Principles and Practice of Declarative Programming
• CMSRA-IV, 4th Computational Models of Scientific Reasoning & Applications
• BeyondFD'05 1st Workshop on Constraint Programming Beyond Finite Integer Domains
• EKDB&2005, Workshop on Extraction of Knowledge from Databases and Warehouses
• PCC'05, 4th International Workshop on Proof, Computation, Complexity; affiliated with ICALP '05
• Evolution and reactivity for the web, Reasoning Web 2005 Summer School course

2004

• DALT04, 2nd Workshop on Declarative Agent Languages and Technologies
• JELIA'04, 9th European Conference on Logics in Artificial Intelligence
• CLIMA V, 5th Workshop on Computational Logic in Multiagent Systems
• ICEIS 2004 (International Conferences on Enterprise Information Systems) 2004 Doctoral Consortium.
• ICCL 2004 Summer School 2004: Proof Theory and Automated Theorem Proving and PCC Workshop.
• CAPSI '04, 5th Conference of the Portuguese Association for Information Systems: Panel session on "Desenvolvimento Rápido Baseado em Modelos."

A selected list of program committees CENTRIA members have served on:

• AAAI: 2007, 2008, 2009 (Spring Symposium), 2010
• AAMAS: 2004, 2005, 2008, 2009, 2011
• CLIMA: 2004, 2005, 2006, 2007, 2009, 2010
• DALI: 2011
• DALT: 2004, 2005, 2010
• ECAI: 2008, 2010
• ECAL: 2007, 2011
• ECSQARU: 2005, 2007, 2009
• EPIA: 2005, 2007, 2009
• EPSA: 2011
• ESWC: 2007, 2008, 2009
• EUMAS: 2007, 2008, 2009, 2010
• ICLP: 2007
• IJCAI: 2009, 2011
• ISWC: 2008
• JELIA: 2004, 2006, 2008, 2010
• JIUE: 2010
• LADS: 2007, 2009, 2010
• LPNMR: 2005, 2007, 2009
• PROGIC: 2007, 2009, 2011
• PROMAS: 2005, 2006, 2007, 2008, 2010
• RR: 2008