"Categorical Logic and Concurrency Theory" Week

           Departamento de Informatica, Univ. Fed. de Pernambuco (UFPE)
                                   Recife
                           December 9-13, 1996

                       Sponsorship and Organisation
                     Projeto LOCUS - ProTeM-III/CNPq
       Lab. de Logica, Linguagem, Informacao e Computacao (LaLLIC/UFPE)

"New Foundations for Programming Language Semantics"
by Dusko Pavlovic
School of Cognitive and Computing Sciences, University of Sussex, Falmer,
Brighton BN1 9QH, United Kingdom

The paradigms of denotational, operational and axiomatic semantics (due
respectively to Scott-Strachey, Plotkin and Floyd-Hoare) have led to
development of various verification tools, as well as formal methods for
language design and specification. For several years, and through a large
number of books, the basic ideas of semantics of programming languages seemed
settled and clear --- even if not too important for everyday life of an average
programmer. 
But some recent developments, both in practice and in theory of computing, have
disturbed this conceptual clarity, and are forcing us to look in new
directions. On one hand, the ever growing complexity of the tasks and systems
suggests that semantics should develop practical debugging tools, rather than a
mere verification theory. On the other hand, the explosion of the web of
computational communication necessitates a theory of "mobility" and "migration"
of processes through the network, and adds a new dimension and importance to
the analysis of the way processes "interact" with each other in a concurrent
environment.
The traditional semantical methods often turn out to be insufficient for the
new tasks. We shall discuss some new structures and paradigms that may
constitute a base for new semantics. Their meaning will be analysed within the
framework of categorical logic, which will be briefly introduced for this
purpose.
            
"Sheaves and Logic. Intuitionistic and Linear"
by Francisco Miraglia, IME/USP, Sao Paulo

The plan of the talk is an overview of the the interpretation of intuitionistic
logic in sheaves over a complete Heyting algebra, with examples of results for
the model theory of these structures.  We then present the concept of sheaf 
over idempotent right-sided quantales, a generalization of complete Heyting
algebras, originating in the theory of non-commutative C*-algebras.
The relation with a form of Linear Logic will be explained and a soundeness
result shall be presented.

PURPOSE
Taking the opportunity of an academic visit, by Dr Dusko Pavlovic, to the
Departamento de Informatica, Universidade Federal de Pernambuco (UFPE), for the
period December 9--18, 1996, involving the presentation of tutorial and
advanced lectures on the topic of semantics of programming languages,
concurrency theory, and categorical logic, and the first meeting of the project
LOCUS/ProTeM-III/CNPq,  we are organising a week of talks and seminars on the
topic during that period.

SCHEDULE
Dr Dusko Pavlovic shall give a cycle of talks under the joint title
"New Foundations for Semantics of Programming Languages". The first two will
provide an introduction to basic ideas and paradigms in semantics for
programming; the rest will be devoted to the recent developments in the field,
aligning computational monads, action calculi and interaction categories.

We shall also have the participation of two experts in the application of
categorical logic to computer science:

Prof Francisco Miraglia (USP),
"Sheaves and Logic. Intuitionistic and Linear"

Prof Edward Hermann Heusler (PUC-Rio).

TIMETABLE

Tuesday 10th December
09:00 Tutorial by Dusko Pavlovic
14:30 Tutorial by Francisco Miraglia
Place: Room M4, Bl. C, Departamento de Informatica, UFPE

Wednesday 11th December
09:00 Talk 1 by Dusko Pavlovic
10:15 Talk by Francisco Miraglia
Place: Room M2, Bl. C, Departamento de Informatica, UFPE

Thrusday 12th December
09:00 Talk 2 by Dusko Pavlovic
10:15 Talk 3 by Dusko Pavlovic
14:30 Talk by Hermann Heusler
15:15 Talk 4 by Dusko Pavlovic
Place: Room M4, Bl. C, Departamento de Informatica, UFPE

--------------------------------------------------------------------------------

>>>>> ALL WELCOME! <<<<<<

FOR FURTHER INFORMATION CONTACT:
Ruy Guerra de Queiroz
Departamento de Informatica
Universidade Federal de Pernambuco (UFPE)
Caixa Postal 7851
50732-970 Recife, PE
Brazil

E-mail: XXXXX
tel: +55 81 271 8430
fax: +55 81 271 8438

--------------------------------------------------------------------------------