Conferences (Co-)Organized by the CLIP Group
This is a (partial) list of conferences which were organized by
members of the Clip Group, or in which members of the group served as
conference chairs, PC chairs, PC members, local chairs, etc.
- 23th
International Workshop on Logic-based methods in Programming
Environments, WLPE'13. Workshop associated
to ICLP'13, Istanbul,
Turkey. Program Chairs.
- 29th International
Conference on Logic Programming, ICLP 2013. Budaptest, Hungary.
PC members.
- 22nd International
Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR
2012. Leuven, Belgium. PC member.
- 28th International Conference
on Logic Programming, ICLP 2012. Budaptest, Hungary. PC member.
- 27th International Conference
on Logic Programming, ICLP 2011. Lexigton, Kentucky. PC member.
- 32nd ACM SIGPLAN
conference on Programming Language Design and Implementation,
PLDI'11. San Jose, California. PC member.
- 37th ACM SIGACT-SIGPLAN
Symposium on Principles of Programming Languages,
POPL'10. Madrid, Spain, Jan 20-22, 2010. Conference Chair.
- 11th
International Conference on Verification, Model Checking, and
Abstract Interpretation. Jan 17-19, Madrid, Spain. Co-located
with POPL'10. Program
Chair.
- 12th
International Symposium on Practical Aspects of Declarative Languages
PADL'10. Jan 18-19, Madrid, Spain. Co-located
with POPL'10.
- The 2010
International Conference on Logic Programming, ICLP'10 Program
Chair.
- PEPM'09:
ACM SIGPLAN Workshop on Partial Evaluation and Program
Manipulation. Savannah, Georgia, USA. January 19 - 20
2009. co-located
with POPL'09.
- BYTECODE09:
4th International Workshop on Bytecode Semantics, Verification,
Analysis and Transformation
DAMP08:
Workshop on Declarative Aspects of Multicore Programming.
Co-located with POPL'08.
- The 2008 International
Conference on Logic Programming, ICLP'08. Udine, Italy. PC
Member.
- The 2008
International Symposium on Static Analysis, SAS'08. Valencia,
Spain. PC Member.
- WLPE08: 18th
International Workshop on Logic-based methods in Programming
Environments
- The 17th European Symposium on Programming (ESOP'08). A
main conference of ETAPS'08. 31 March -4 April 2008
(provisional) Budapest. Program Committee member.
- The 2007 International
Symposium on Static Analysis, SAS'07. Kongens Lyngby, Denmark.
PC Member.
- The 2006
International Conference on Logic Programming, ICLP'06
(part of FLoC). Conference
Chair.
- The XV
International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR'06). Venice, Italy, 12-14 July
2006. Program chair.
- The ACM
SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation
(PEPM'06). Charleston, South Carolina, January 9-10,
2006. Program committee member.
- The Sixth
International Symposium on Practical Aspects of Declarative Languages
(PADL 06). Charleston, South Carolina. PC member.
- The Seventh
International Symposium on Practical Aspects of Declarative Languages
(PADL 05). Long Beach, California, January 10-11, 2005. Program
chairs.
- The 12th International Static Analysis Symposium
(SAS'05). London, United Kingdom, 7-9 September 2005. Program
committee member.
-
The 17th
European Symposium on Programming (ESOP'05). A main
conference of ETAPS'05. Program Committee member.
- The XIV International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'05). London, United Kingdom,
7-9 September 2005. Program committee member.
- The 14th
Workshop on Logic Programming Environments. Saint-Malo, France. September
6-7 2004. Program Committee member.
- The The
First International Workshop on Teaching Logic Programming - TeachLP
2004. Saint-Malo, France. September 6-10 2004. Program Committee
member.
- The 4th
Colloquium on the Implementation of Computational Logic Programming
Systems. Saint-Malo, France. September 6-10 2004. Organizer and
PC member.
- The 11th
International
Static Analysis Symposium (SAS04). Verona, Italy. August
23-28 2004. Program Committee member.
- The ACM SIGPLAN
2004 Symposium on Partial Evaluation and Program Manipulation
(PEPM'04). Verona, Italy. August 24-25 2004. Program
Committee member.
- The Seventh
Functional and Logic Programming Symposium (FLOPS'04).
Japan, 5-10 April 2004.
- The 13th European Symposium on Programming (ESOP'04). A
main conference of ETAPS'04 Barcelona,
March 27 - April 4, 2004.
- The International Conference on
Logic Programming (ICLP'03). Mumbai, India, 9 - 13 December
2003.
- The 13th Workshop
on Logic Programming Environments. Mumbai, India, 8 December
2003. Program Committee member.
- The 3rd
Colloquium on the Implementation of Computational Logic Programming
Systems. Mumbai, India, 14 December 2003. Program Committee
member.
- The Second CoLogNet Workshop
on Implementation Technology for Computational Logic Systems,
a satellite Workshop of FM 2003 Symposium Pisa, Italy - September 9,
2003.
- The XII
International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR'03). Uppsala, Sweden, 25-27
August 2003. Part of PLI'03
- The 10th
International Static Analysis Symposium (SAS03). San
Diego, California, USA. June 11-13 2003. Part of ACM 2003
FCRC.
- Las Segundas
Jornadas de Lenguajes de Programacion (PROLE02), El
Escorial, Madrid, 21-23 November 2002.
- The 9th International
Static Analysis Symposium (SAS02). 17 - 20 September 2002,
Madrid, Spain.
- The
First CoLogNet Workshop on Implementation Technology for Computational
Logic Systems, affiliated to LOPSTR'02, Madrid, Spain -
September 19-20, 2002.
- The XI
International Workshop on Logic-based Program Synthesis and
Transformation (LOPSTR'02). 18 - 20 September 2002,
Madrid, Spain.
- Joint
CoLogNet Workshop on Component-based Software Development and
Implementation Technology for Computational Logic
Systems. Madrid, Spain, 19-20 September 2002.
-
The 12th Workshop on Logic Programming
Environments. Workshop associated to ICLP02, Jun 29 - Aug 1
2002, Copenhagen, Denmark.
-
The 11th Workshop on Logic Programming
Environments. Workshop associated to ICLP01, Nov 26 - Dec 1
2001, Paphos, Cyprus.
- Constructive
Methods for Parallel Programming, CMPP 2000
- 15th
Workshop on Logic Programming and Constraint Systems (Co-located
with ECAI2000).
-
CP2000 WS on Analysis and Visualization of Constraint Programs
and Solvers (Organizer/PC member)
- Parallelism and
Implementation Technology for (Constraint) Logic Programming
Languages. In conjunction with ICLP99,
Nov 29 - Dec 4, Las Cruces, New Mexico, USA.
- Optimization
and Implementation of Declarative Programming Languages and their
Interaction. In conjunction with ICLP99,
Nov 29 - Dec 4, Las Cruces, New Mexico, USA.
- The
10th Workshop on Logic Programming Environments. In conjunction
with ICLP99,
Nov 29 - Dec 4, Las Cruces, New Mexico, USA.
- Workshop
on Constraint Programming on the Internet. In conjunction with CP'97,
Schloss Hagenberg, Austria, November 1, 1997.
- Workshop on
Specialization of Declarative Programs and its Applications. In
Conjunction with ILPS'97,
Port Jefferson, NY, October 1997.
- Workshop on Tools
and Environments for (Constraint) Logic Programming. In
Conjunction with ILPS'97,
Port Jefferson, NY, October 1997.
- Proceedings
of the 2nd International Workshop on Logic Programming Tools for Internet
Applications in conjunction with ICLP'97,
Leuven, Belgium, July 4-11, 1997 (Canada
Mirror, Belgium
Mirror).
- Compulog-Net
Meeting on LP and the Internet
Imperial College, London, UK,
December 19-20, 1996.
- Proceedings
of the 1st Workshop on Logic Programming Tools for INTERNET
Applications
Bonn, Germany, in conjunction with JICSLP'96,
Bonn, Germany, September 2-6, 1996
- Proceedings of
the 1996 JICSLP Workshop and Compulog Net Area Meeting on
Parallelism and Implementation Technology
Bonn, Germany,
in conjunction with JICSLP'96,
Bonn, Germany, September 2-6, 1996
- Other Workshops
on Parallelism and Implementation Technology
- The
ParForCE Project Technology Transfer Workshop
Madrid, Spain,
January 15-16 1996
- PLILP-ALP'94
Madrid, Spain, September 14-16 1994