--
Call For Participation
Types, Semantics and Verification
10th Annual Oregon Programming Languages Summer School (OPLSS 2011)
University of Oregon, Eugene. June 16 - July 1, 2011
http://www.cs.uoregon.edu/Activities/summersch
==
CALL FOR PAPERS
PPDP 2011
13th International ACM SIGPLAN Symposium on
Principles and Practice of Declarative Programming
http://w
Hi,
if you know a student interested in applying her or his knowledge in
algorithms (especially graph optimization) please note her or him of
this opening or forward to interested parties.
PhD Position: Bioinformatics / Graph Optimization
We are looking for a Diploma / Masters student to join
===
Call for Papers
20th International Workshop on Functional and (Constraint) Logic Programming
WFLP 2011
Odense, Denmark
July 19, 2011
Co-located with PPDP 2011, LOPSTR 2011, AAIP 2011
http://www.wi.uni-muenster.de/pi/
=
4TH CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL (CEFP 2011)
EOTVOS LORAND UNIVERSITY, BUDAPEST, HUNGARY
June 14-24, 2011
http://plc.inf.elte.hu/cefp
THE REGISTRATION IS OPEN!
=
SCOPE OF THE SU
