[Prev][Next][Index][Thread]
WoLLIC '94 - Final Programme
-
To: types@dcs.gla.ac.uk
-
Subject: WoLLIC '94 - Final Programme
-
From: Ruy de Queiroz <ruy@di.ufpe.br>
-
Date: Mon, 04 Jul 1994 13:50:52 -0500 (EST)
-
Approved: types@dcs.gla.ac.uk
[Since it is clearly relevant, I am distributing this conference
announcement to types. General conference announcements should go to
the Theory-A list: send announcements or requests to subscribe to
THEORY-A@VM1.NoDak.EDU. -- Philip Wadler, moderator, Types Forum.]
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