Re: Workshop on Logic, Language, Information and Computation (WoLLIC '94) Recife, July 28-30 1994 (An event part of the IX School of Computing, Recife, July 24-31 1994) Here is the final programme of the Workshop, together with general information and registration form. The Workshop will be part of a bigger event being held in Recife during the last week of July 1994: the (Brazilian) IXth School of Computing, a large biennial event in computer science in the context of Latin America. As some of the invited speakers for the Workshop will be giving advanced seminars (in the form of short courses) on logic and computation in the School, the Workshop will benefit from the fact that the School will attract a fair number of young researchers and students in computer science from all over Latin America. (The School is expected to have an audience of approx. 600 participants.) ******************************************************************************** Workshop on Logic, Language, Information and Computation (WoLLIC '94) Recife, July 28-30 1994 ******************************************************************************** Final Programme ********* 28th June ********* Morning: Proof Theory and Information Flow 08:30--09:30 (Invited talk) Labelled Deductive Systems, by Dov Gabbay (Imperial College, London, UK) 09:30--09:40 Coffee/Tea break 09:40--10:00 Program Transformations in a Theory of Types and Operations Martin C. Henson University of Essex, UK 10:00--10:20 Representing Program Transformations in Martin-L"of Type Theory Sylvia da Rosa & Alberto Pardo Universida de la Republica, Uruguay & Technische Hochscule Darmstadt, Germany 10:20--10:40 Resource-Flow Interpretation of Sequent Calculi Antonio Carlos da Rocha Costa & Alvaro F. Moreira Universidade Federal do Rio Grande do Sul, Brazil 10:40--11:00 A Computational Interpretation of Proof Nets with Trips Lucilia C. Figueiredo & Edward H. Haeusler Pontificia Universidade Catolica, Rio de Janeiro, Brazil 11:00--11:15 Coffee/Tea break 11:15--12:15 (Invited talk) On the Recent Proliferation of Logics by David Israel (AI Center, SRI, Stanford, USA) Afternoon: Non-Classical Logics and Computation 14:30--15:30 (Invited talk) Belief Revision and Doxastic Logic, by Krister Segerberg (Uppsala University, Sweden) 15:30--15:40 Coffee/Tea break 15:40--16:00 Default Operators W. A. Carnielli & A. M. Sette Universidade Estadual de Campinas, Brazil 16:00--16:20 A Prioritized Contextual Default Logic: Curing Anomalous Extensions with a Simple Abnormality Default Theory Gerson Zaverucha Universidade Federal do Rio de Janeiro, Brazil 16:20--16:40 Annotated Logics and Reduced Direct Products, Ultraproducts, and Ultrapowers Jair Minoro Abe Instituto de Estudos Avancados, Universidade de Sao Paulo, Brazil 16:40--17:00 New Approaches to Non Standard Negations Arthur Buchsbaum & Tarcisio Pequeno Universidade Federal do Ceara, Brazil 17:00--17:15 Coffee/Tea break 17:15--18:15 (Invited talk) Paraconsistent Logic and Computer Science, by Newton da Costa (Universid. de Sao Paulo, Brazil) ********* 29th June ********* Morning: Categories and Computer Science 08:30--09:30 (Invited talk) Categories and Deductive Systems, by Jim Lambek (McGill University, Canada) 09:30--09:40 Coffee/Tea break 09:40--10:00 A Concrete Categorial Model for Lambek Calculus Marcelo da S. Correa & Edward H. Haeusler Universidade Federal Fluminense, Rio de Janeiro, Brazil & Pontificia Universidade Catolica, Rio de Janeiro, Brazil 10:00--10:20 On the Constructibility Theorem for Logical Specifications and its role in the Composability of Implementation Steps Marcelo Aragao, Sheila Veloso & Paulo Veloso Universidade Federal do Rio de Janeiro, Brazil & Pontificia Universidade Catolica, Rio de Janeiro, Brazil 10:20--10:40 Multiple Database Logic Mario R. F. Benevides & Joao C.P. Silva Universidade Federal do Rio de Janeiro, Brazil 10:40--11:00 A Computational Approach to Relevant Logics Gerson Zaverucha, Marco L. Ferramola, Sheila R.M. Veloso Universidade Federal do Rio de Janeiro, Brazil 11:00--11:15 Coffee/Tea break 11:15--12:15 (Invited talk) Logics of Object Specification, by Jose Fiadeiro (Universidade de Lisboa, Portugal) Afternoon: Discourse Representation and Natural Language Semantics 14:30--15:30 (Invited talk) Discourse Representation Theory, by Uwe Reyle (University of Stuttgart, Germany) 15:30--15:40 Coffee/Tea break 15:40--16:00 A Sign-Based Extension to the Lambek Calculus for Discontinuous Constituents Mike Calcagno The Ohio State University, USA 16:00--16:20 Formal Properties of Abduction and its Relevance for AI Carlos Lungarzo Universidade Estadual de Campinas, Brazil 16:20--16:40 A Calculus of Higher-Order Parameterization for Algebraic Specifications Maria Vitoria Cengarle & Martin Wirsing Ludwig-Maximilians-Universit"at M"unchen, Germany 16:40--17:00 Definition-like Extensions by Sorts Maria Claudia Mere & Paulo Augusto Veloso Pontificia Universidade Catolica, Rio de Janeiro, Brazil 17:00--17:15 Coffee/Tea break 17:15--18:15 (Invited talk) Montague Semantics, by Joao Cunha (Universidade do Porto, Portugal) ********* 30th July ********* Morning: Modal Logic and Specifications 08:30--09:30 (Invited talk) Translation Methods for Modal Logics, by H. J. Ohlbach (MPII, Saarbruecken, Germany) 09:30--09:40 Coffee/Tea break 09:40--10:00 Logical Inference through Dual Transformation Guilherme Bittencourt Universidade Federal de Santa Catarina, Brazil 10:00--10:20 Counter-Models Construction through Controllable Deduction J. L. de Siqueira N. Universidade Federal de Minas Gerais, Brazil 10:20--10:40 Input Conditional Formulas of Reactive System Specifications in Temporal Logic Naoki Yonezaki & Ryosei Mori Tokyo Institute of Technology, Japan 10:40--11:00 Evolutional Tableau for Temporal Logic Specification Masahiko Tomoishi & Naoki Yonezaki Tokyo Institute of Technology, Japan 11:00--11:15 Coffee/Tea break 11:15--12:15 (Invited talk) Modal Action Logic and Specification, by Tom Maibaum (Imperial College, London, UK) Afternoon: 15:30 Closing Panel: `Logic, Language, Information and Computation: New Directions' ----------------- GETTING TO RECIFE. There are various regular weekly flights from Europe and USA to Recife's Guararapes International Airport. The airport is located within the boundaries of the city, and is under half an hour by car to center of town, and less than quarter of an hour to Boa Viagem beach where most hotels are located. Besides the Brazilian airlines VARIG, two European airlines have at least two direct flights to Recife per week: Air France, from Paris; Air Portugal, from Lisbon. If you get to Brazil via Rio, you will able to choose from various domestic flights, some direct, from Rio to Recife. (This is not exactly high season, but end of July is likely to be a difficult time of the year to find seats in domestic flights, so please be safe by booking in advance.) There are three main domestic airlines in Brazil: VARIG, VASP and TRANSBRASIL. CURRENCY. Brazil has a new currency since July 1st: it is called `Real' (pronounce it like in French), abbrev. `R$', and R$1.00 is worth US$1.00. Banknotes: R$1, R$5, R$10, R$50, R$100. Coins: R$1, R$0.50, R$0.10, R$0.05, R$0.01. ACCOMMODATION AND TOURIST INFORMATION. Please contact our travel agent: Agencia Luck Viagens Ltda. Rua Jorn. Paulo Bittencourt, 163 Derby Recife, PE 52010-260 Brazil Tel. +55 81 421 3777 +55 81 461 1858 Fax +55 81 421 2155 +55 81 326 9144 Quote `Workshop/Escola-Computacao/UFPE' to get special prices. THE LOCATION. Recife is the capital of the sun belt coast in the northeast of Brazil, just 8 degrees below Equator, bathed by 250+ days of sun/year (i.e. Caribbean-like climate). City population is around 2.5 million and the life style is quite relaxed. Recife is over 450 years old, has a number of interesting architectural samples of Portuguese colonial times (esp. XVII and XVIII centuries), and is neighbour to picturesque Olinda, whose architectural heritage is protected by UNESCO. Salvador, the capital of the state of Bahia, Brazilian's tourism industry best asset after Rio, is within 1-hour (direct flight) from Recife. With the recent restauration of its historic center, a visit to Salvador is a must, not just for its natural beauty but also because it is quite simply THE place to see the best of Afro-Brazilian culture. THE WEATHER. End of July in Recife is usually fresh and rather windy (i.e. breezy, since it is by the sea), with temperatures around 22-24 degrees centigrades. Being the end of the rainy season (end May to mid July) an occasional shower may still fall during the last week of July. Usually, though, it is dry and a prelude to pleasant August. THE VENUE. The IX School and WoLLIC '94 will be held in the campus of the Universidade Federal de Pernambuco (UFPE) in Recife, located near the southern outskirts of the city. It was first set when the area was rather rural, and luckily the green landscape still prevails around the region. Though the campus is quite widespread, the Departamento de Informatica is well placed at the border nearest to the main road, thus closer to the main points of public transportation. The Departamento is part of the Center for Natural and Exact Sciences (together with Physics and Mathematics), which has a good tradition of hosting international events. Full address: Departamento de Informatica Centro de Ciencias Exatas e da Natureza (CCEN) Universidade Federal de Pernambuco (UFPE) Av. Prof. Luis Freire, s/n Cidade Universitaria Recife, PE 50739 Brazil Tel.: +55 271 8430 Fax: +55 81 271 4925 E-mail: wollic94@di.ufpe.br RECEPTION DESK. There will be a reception desk in the Hall of the CCEN, next to the Library (`Biblioteca do CCEN'). The campus will be signposted with posters of both `IX Escola de Computacao' and `WoLLIC'. WoLLIC '94 IS PART OF IX SCHOOL OF COMPUTING. Events taking place during the IX School of Computing (i) Short Courses (in Portuguese) (ii) Advanced Seminars (iii) ExpoComp (Software Prototype Fair) (iv) Mini-School (for school children) (v) Workshop on Logic, Language, Information and Computation '94 For more detailed information about the IX School of Computing, please write to the address ixec@di.ufpe.br. PUBLICATION OF THE PROCEEDINGS. Remember that the authors of the best PRESENTATIONS will be invited to submit full papers for publication in a Special Issue of the `Bulletin of the Interest Group in Pure and Applied Logics' (ISSN 0945-9103). -------------------------------------------------------------------------------- WoLLIC '94 Workshop on Logic, Language, Information and Computation '94 Recife, July 28-30 1994 REGISTRATION FORM Name: Affiliation: Postal Address: Tel.: Fax: E-mail: Arrival date: Departure date: Category: [ ] Regular R$50.00 [ ] Member of IGPL R$30.00 (*) [ ] Student R$20.00 (please specify name and e-mail address of supervisor) Title of the paper to be presented (if appropriate): (*) If you wish to join the `Interest Group in Pure and Applied Logics' (the clearing house of The European Foundation of Logic, Language and Information - FoLLI) send an e-mail message to igpl-request@doc.ic.ac.uk with full name, postal address, e-mail, tel, fax, and research interests. PLEASE DO NOT SEND MONEY NOW. Pay here at the reception desk. Fill in the form and send it to: ***** wollic94@di.ufpe.br ***** -------------------------------------------------------------------------------- Looking forward to welcoming you in Recife, With much appreciation, and all the best regards, Ruy de Queiroz --- Ruy J. G. B. de Queiroz Departamento de Informatica Universidade Federal de Pernambuco (UFPE) em Recife Caixa Postal 7851 Recife, PE 50732-970 Brasil ruy@di.ufpe.br tel.: +55 81 271 8430 fax: +55 81 271 4925