WoLLIC '94 - Final Programme

[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
	     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
	     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
	     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)


15:30	     Closing Panel:
	     `Logic, Language, Information and Computation: New Directions'


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

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,

Please contact our travel agent:

	Agencia Luck Viagens Ltda.
	Rua Jorn. Paulo Bittencourt, 163
	Recife, PE 52010-260
	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.

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.

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 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
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
	Tel.: +55 271 8430  Fax: +55 81 271 4925  E-mail: wollic94@di.ufpe.br

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'.

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.

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




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

ruy@di.ufpe.br          tel.: +55 81 271 8430           fax: +55 81 271 4925