th wollic rd call third call contribution th workshop logic language information computation wollic july tutorial day july th imeusp sao paulo brazil th workshop logic language information computation wollic fifth version series workshop start aim foster interdisciplinary research pure apply logic hold sao paulo brazil july th st contribution invite form short papers pt page word area relate logic language information computation include pure logical system proof theory model theory algebraic logic type theory category theory constructive mathematics lambda combinatorial calculus program logic program semantics logic model concurrency logic complexity theory nonclassical logic nonmonotonic logic logic language discourse representation logic artificial intelligence automate deduction foundation logic program logic computation logic engineer th wollic scientific sponsorship interest group pure apply logic igpl european association logic language information folli association symbolic logic asl sociedade brasileira de computacao sbc sociedade brasileira de logica sbl number guest speaker include sergeus artemov moscow state univ russium confirmed sbe 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 hrushovskus hebrew univ jerusalem israel han kamp stuttgart univ germany confirmed phokion kolaitis univ calif santa cruz us valerium de paiva birmingham univ uk confirmed maarten de rijke amsterdam univ netherland confirmed giovannus sambin padoa univ italy confirmed confirmed submission paper send preferably latex format email wollic ime usp br five copy postal address must received april rd one co chair organise committee paper must write english enough detail allow programme committee assess merit work paper start brief statement issue summary main result statement significance relevance workshop reference comparison relate work expect technical development direct specialist follow result must unpublish submit publication elsewhere include proceedings symposium workshop one author each accept paper expect attend conference order present author notify acceptance th abstract papers publish conference report section logic journal igpl issn oxford univ press part meet report paper present meet invite submission full version logic journal igpl http www oup co uk jnl igpl wollic host universidade de sao paulo usp place mathematic statistic institute ime programme committee andrea blass michigan univ usa italum d ottaviano univ campina br j michael dunn indiana univ usa wilfrid hodge queen mary coll uk francisco miraglium univ sao paulo br luiz carlo pereira cathol univ rio br andrew pitt cambridge univ uk amir pnuelus weizmann inst israel organise committee l s c baptista ufpe ufpb m 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 further information contact co chair organise committee ruy de queiroz departamento de informatica univ federal de pernambuco cp recife pe brazil email ruy dus ufpe br tel fax marcelo finger departamento de ciencium da computacao instituto de matematica e estatistica universidade de sao paulo rua matao sao paulo sp brazil email mfinger ime usp br tel fax web page http www ime usp br wollic 