Final CFP - PLILP/ALP/DPLE/HOA 1997

H.Glaser@ecs.soton.ac.uk (Hugh Glaser)
14 Mar 1997 00:18:49 -0500

          From comp.compilers

Related articles
Final CFP - PLILP/ALP/DPLE/HOA 1997 H.Glaser@ecs.soton.ac.uk (1997-03-14)
| List of all articles for this month |

From: H.Glaser@ecs.soton.ac.uk (Hugh Glaser)
Newsgroups: comp.lang.prolog,comp.lang.functional,comp.constraints,comp.ai,comp.theory,comp.compilers
Date: 14 Mar 1997 00:18:49 -0500
Organization: University of Southampton
Distribution: inet
Keywords: CFP, conference



                                              Final Calls for Papers
                                              PLILP/ALP/DPLE/HOA 1997


                                            University of Southampton
                                              1st - 5th September 1997


In the first week of September 1997, the University of Southampton will be
host to a number of conferences and similar gatherings concerned with the
theory, practice and teaching of mathematical styles of programming and
programming language implementation.


PLILP '97
          Ninth International Symposium on
          Programming Languages, Implementations, Logics, and Programs
          Organised by:
                    Hugh Glaser (hg@ecs.soton.ac.uk)
                    Herbert Kuchen (herbert@informatik.rwth-aachen.de)
ALP '97
          Sixth International Conference on Algebraic and Logic Programming
          Organised by:
                    Michel Hanus (hanus@informatik.rwth-aachen.de)
                    Karl Meinke (karlm@nada.kth.se)
DPLE '97
          First International Conference on
          Declarative Programming Languages in Education
          (formerly FPLE: Functional Programming Languages in Education)
          Organised by:
                    Krzysztof Apt (apt@cwi.nl)
                    Pieter Hartel (phh@ecs.soton.ac.uk)
                    Paul Klint (paulk@cwi.nl)
HOA '97
          Third International Workshop on
          Higher-Order Algebra, Logic and Term Rewriting
          Organised by:
                    Jan Heering (jan@cwi.nl)
                    Karl Meinke (karlm@nada.kth.se)
                    Bernhard Mller (Bernhard.Moeller@Informatik.Uni-Augsburg.de)
                    Tobias Nipkow (nipkow@informatik.tu-muenchen.de)


----------------------------------------------------------------------------


Publication


                The proceedings of these conferences will appear as separate
                editions of Springer-Verlag LNCS.


Calls for Papers


                Copies of the general Calls for Papers may be obtained via
                the Conference Web Site: http://www.ecs.soton.ac.uk/southampton1997/
                The conference email address is: southampton1997@ecs.soton.ac.uk


The Important Dates


                Deadline for all submissions: 1st April, 1997
                Notification of acceptance/rejection:1st June, 1997
                Early registration date: 1st August, 1997
                Conference week: 1st-5th September, 1997


----------------------------------------------------------------------------


Hugh Glaser
Pieter Hartel
Declarative Systems & Software Engineering Group
Department of Electronics and Computer Science
University of Southampton


5th March 1997


-------
Hugh Glaser, Declarative Systems & Software Engineering
                          Department of Electronics and Computer Science,
                          University of Southampton,
                          Southampton SO17 1BJ
Tel: +44 (0)1703 593670, Fax: +44 (0)1703 593045, Mobile: +44 (0)956 935774
http://www.ecs.soton.ac.uk/~hg/
--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.