***************************************************************** *** *** *** ETAPS 2007 *** *** March 24 - April 1, 2007 *** *** Braga, Portugal *** *** *** *** http://www.di.uminho.pt/etaps07/ *** *** *** *** CALL FOR SUBMISSIONS *** *** *** *** Abstract submission deadline: 6th October, 2006 *** *** Full submission deadline: 13th October, 2006 *** *** *** *****************************************************************
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences, several satellite workshops and other events. * Main Conferences - Call for Submissions: CC 2007 International Conference on Compiler Construction ESOP 2007 European Symposium on Programming FASE 2007 Fundamental Approaches to Software Engineering FOSSACS 2007 Foundations of Software Science and Computation Structures TACAS 2007 Tools and Algorithms for the Construction and Analysis of Systems See: http://www.di.uminho.pt/etaps07/conf.html * Workshops - Call for Submissions: For the complete list of workshops and their deadlines See: http://www.di.uminho.pt/etaps07/workshops.html * Tutorials - Call for Submissions: See: http://www.di.uminho.pt/etaps07/tutorials.html _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell