Subject: 5th wollic ' 98 - 3rd call

third call for contributions 5th workshop on logic , language , information and computation ( wollic ' 98 ) july 28-31 , 1998 ( tutorial day : july 28th ) ime-usp , sao paulo , brazil the " 5th workshop on logic , language , information and computation " ( wollic ' 98 ) , the fifth version of a series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic , will be held in sao paulo , brazil , from july 28th to 31st 1998 . contributions are invited in the form of short papers ( 6 10pt pages or 1800 words ) in all areas related to logic , language , information and computation , including : pure logical systems , proof theory , model theory , algebraic logic , type theory , category theory , constructive mathematics , lambda and combinatorial calculi , program logic and program semantics , logics and models of concurrency , logic and complexity theory , nonclassical logics , nonmonotonic logic , logic and language , discourse representation , logic and artificial intelligence , automated deduction , foundations of logic programming , logic and computation , and logic engineering . the 5th wollic ' 98 has the scientific sponsorship of the interest group in pure and applied logics ( igpl ) , the european association for logic , language and information ( folli ) , the association for symbolic logic ( asl ) , the sociedade brasileira de computacao ( sbc ) , and the sociedade brasileira de logica ( sbl ) . there will be a number of 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 , the netherlands ) ( confirmed ) , giovanni sambin ( padoa univ , italy ) ( confirmed ) . ( * ) to be confirmed submission : papers ( sent preferably in latex format by e-mail to * * wollic @ ime . usp . br * * , or in 5 ( five ) copies to postal address ) must be received by april 3rd , 1998 by one of the co - chairs of the organising committee . papers must be written in english and give enough detail to allow the programme committee to assess the merits of the work . papers should start with a brief statement of the issues , a summary of the main results , and a statement of their significance and relevance to the workshop . references and comparisons with related work is also expected . technical development directed to the specialist should follow . results must be unpublished and not submitted for publication elsewhere , including the proceedings of other symposia or workshops . one author of each accepted paper will be expected to attend the conference in order to present it . authors will be notified of acceptance by may 15th , 1998 . the abstracts of the papers will be published in a " conference report " section of the logic journal of the igpl ( issn 1367-0751 ) ( oxford univ press ) as part of the meeting report . papers presented at the meeting will be invited for submission ( in full version ) to the logic journal of the igpl ( http : / / www . oup . co . uk / jnls / igpl / ) . the wollic ' 98 is hosted by universidade de sao paulo ( usp ) , and will take place at the mathematics and statistics institute ( ime ) . programme committee : andreas blass ( michigan univ , usa ) , itala d ' 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 . s . c . baptista ( ufpe / ufpb ) , m . finger ( usp ) , e . hermann haeusler ( puc - rio ) , a . c . v . de melo ( usp ) , a . g . de oliveira ( ufba / ufpe ) , r . de queiroz ( ufpe ) , f . c . da silva ( usp ) . for further information , contact the co - chairs of the organising committee : ruy de queiroz , departamento de informatica , univ . federal de pernambuco , cp 7851 , 50732-970 recife , pe , brazil , e-mail : 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 do matao 1010 , 05508-900 sao paulo , sp , brazil , e-mail : mfinger @ ime . usp . br , tel . : ( + 55 11 ) 818 6287 , fax : ( + 55 11 ) 818 6134 . web page : http : / / www . ime . usp . br / ~ wollic
