[Haskell] PPDP 2005 Call for Participation

2005-05-18 Thread Amy Felty
CALL FOR PARTICIPATION - PPDP 2005 Seventh ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming Lisboa, Portugal, 11-13 July 2005 http://centria.di.fct.unl.pt/conferences/ppdp05/ *** EARLY REG

[Haskell] PPDP 2005 Submission Deadline Extended to February 22

2005-02-16 Thread Amy Felty
place 11-15 July 2005. See http://icalp05.di.fct.unl.pt for more information. CONFERENCE CHAIR: Pedro Barahona, Universidade Nova de Lisboa, web: http://centria.di.fct.unl.pt/~pb, email: [EMAIL PROTECTED] PROGRAM CHAIR: Amy Felty, University of Ottawa, web: http://www.site.uottawa.ca/~afelty,

[Haskell] PPDP 2005 First Call for Papers

2004-11-07 Thread Amy Felty
will take place 11-15 July 2005. See http://icalp05.di.fct.unl.pt for more information. CONFERENCE CHAIR: Pedro Barahona, Universidade Nova de Lisboa, web: http://centria.di.fct.unl.pt/~pb, email: [EMAIL PROTECTED] PROGRAM CHAIR: Amy Felty, University of Ottawa, web: http://www.site.uottawa.ca/~a

New Deadline: Special Journal Issue on Proof-Carrying Code

2002-03-05 Thread Amy Felty
dline is April 12, 2002. Guest Editor: Amy Felty, University of Ottawa, [EMAIL PROTECTED] This information is available on the web at: http://www.site.uottawa.ca/~afelty/jar-pcc/ ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/ma

Final CFP: Special Journal Issue on Proof-Carrying Code

2002-02-18 Thread Amy Felty
Guest Editor: Amy Felty, University of Ottawa, [EMAIL PROTECTED] This information is available on the web at: http://www.site.uottawa.ca/~afelty/jar-pcc/ ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

CFP: Special Journal Issue on Proof-Carrying Code

2001-12-04 Thread Amy Felty
ditor: Amy Felty, University of Ottawa, [EMAIL PROTECTED] This information is available on the web at: http://www.site.uottawa.ca/~afelty/jar-pcc/ ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

PLI 2000: Last Call for Workshops

2000-01-03 Thread Amy Felty
available at http://www.cs.yorku.ca/pli-00/workshops.html Evaluation Committee: Amy Felty (Univ. of Ottawa), PLI 2000 Workshop Chair, [EMAIL PROTECTED] Maurizio Gabbrielli (Univ. of Udine), PPDP 2000 Program Co-Chair Martin Odersky (EPFL Lausanne), ICFP 2000 General Chair Frank Pfenning

PLI 2000: Call for Workshops

1999-10-22 Thread Amy Felty
oposals is available at http://www.cs.yorku.ca/pli-00/workshops.html Evaluation Committee: Amy Felty (Bell Labs), PLI'00 Workshop Chair, [EMAIL PROTECTED] Maurizio Gabbrielli (University of Udine), PPDP 2000 Program Co-Chair Martin Odersky (EPFL Lausanne), ICFP 2000 General Chair Frank