5th wollic 98 3rd call third call contributions 5th workshop logic language information computation wollic 98 july 2831 1998 tutorial day july 28th imeusp sao paulo brazil 5th workshop logic language information computation wollic 98 fifth version series workshops started 1994 aim fostering interdisciplinary research pure applied logic held sao paulo brazil july 28th 31st 1998 contributions invited form short papers 6 10pt pages 1800 words areas related logic language information computation including pure logical systems proof theory model theory algebraic logic type theory category theory constructive mathematics lambda combinatorial calculi program logic program semantics logics models concurrency logic complexity theory nonclassical logics nonmonotonic logic logic language discourse representation logic artificial intelligence automated deduction foundations logic programming logic computation logic engineering 5th wollic 98 scientific sponsorship interest group pure applied logics igpl european association logic language information folli association symbolic logic asl sociedade brasileira de computacao sbc sociedade brasileira de logica sbl number guest speakers including sergei artemov moscow state univ russia confirmed sam buss univ calif san diego us confirmed edmund clarke carnegie mellon univ us confirmed heinz dieter ebbinghaus universitaet freiburg germany confirmed michael fourman edinburgh univ uk confirmed dov gabbay imperial coll uk ehud hrushovski hebrew univ jerusalem israel hans kamp stuttgart univ germany confirmed phokion kolaitis univ calif santa cruz us valeria de paiva birmingham univ uk confirmed maarten de rijke amsterdam univ netherlands confirmed giovanni sambin padoa univ italy confirmed confirmed submission papers sent preferably latex format email wollic ime usp br 5 five copies postal address must received april 3rd 1998 one co chairs organising committee papers must written english give enough detail allow programme committee assess merits work papers start brief statement issues summary main results statement significance relevance workshop references comparisons related work also expected technical development directed specialist follow results must unpublished submitted publication elsewhere including proceedings symposia workshops one author accepted paper expected attend conference order present authors notified acceptance may 15th 1998 abstracts papers published conference report section logic journal igpl issn 13670751 oxford univ press part meeting report papers presented meeting invited submission full version logic journal igpl http www oup co uk jnls igpl wollic 98 hosted universidade de sao paulo usp take place mathematics statistics institute ime programme committee andreas blass michigan univ usa itala ottaviano univ campinas br j michael dunn indiana univ usa wilfrid hodges queen mary coll uk francisco miraglia univ sao paulo br luiz carlos pereira cathol univ rio br andrew pitts cambridge univ uk amir pnueli weizmann inst israel organising committee l c baptista ufpe ufpb finger usp e hermann haeusler puc rio c v de melo usp g de oliveira ufba ufpe r de queiroz ufpe f c da silva usp information contact co chairs organising committee ruy de queiroz departamento de informatica univ federal de pernambuco cp 7851 50732970 recife pe brazil email ruy di ufpe br tel 55 81 271 8430 fax 55 81 271 8438 marcelo finger departamento de ciencia da computacao instituto de matematica e estatistica universidade de sao paulo rua matao 1010 05508900 sao paulo sp brazil email mfinger ime usp br tel 55 11 818 6287 fax 55 11 818 6134 web page http www ime usp br wollic