[Prev][Next][Index][Thread]
ELP'96: Call for Participation
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
[Linear logic is among the subjects treated at this conference.
-- Philip Wadler, moderator, Types Forum.]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Call for participation %%
%% ELP'96 workshop %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
5th International Workshop on
Extensions of Logic Programming
Leipzig (Germany)
March 28-30, 1996
The registration fee is 200 DM for non-students and 100 DM for students,
payable in cash upon arrival. It includes the proceedings volume (Springer
LNAI), which will be available at the beginning of the conference.
Further information concerning the scientific program, travel and
accomodation, as well as the registration form can be obtained through the
WWW:
http://www-theory.dcs.st-and.ac.uk/elp96.html
or by e-mail from:
elp96@informatik.uni-leipzig.de
Roy Dyckhoff Heinrich Herre Peter Schroeder-Heister