Seminários de Ciências da Computação --- 1995/96

Universidade do Minho
Mestrado em Informática (1995/96)
2. o semestre
Coordenação: J.N.Oliveira

Lista de Seminários Previstos ou Realizados Até ao Momento

Seminário Nr.1

Data: 8/3/96

Título: An Internal Language for Autonomous Categories

Autor: Ian Mackie

Sumário: We present an internal language for symmetric monoidal closed (autonomous) categories analogous to the typed lambda calculus as an internal language for cartesian closed categories. The language we propose is the term assignment to the multiplicative fragment of intuitionistic linear logic, which possesses exactly the right structure for an autonomous thoery. We prove that this language is an internal language and show as an application the coherence theorem of Kelly and MacLane, which becomes straightforward to state and prove.

Seminário Nr.2

Data: 15/3/96

Título: The Geometry of Interaction Machine

Autor: Ian Mackie

Sumário: We investigate implementation techniques arising directly from Girard's Geometry of Interaction semantics for Linear Logic, specifically for a simple functional programming language (PCF). This gives rise to a very simple, compact, compilation schema and run-time system. We analyse various properties of this kind of computation that suggest substantial optimisations that could make this paradigm of implementation not only practical, but potentially more efficient than extant paradigms.

Seminário Nr.3

Data: 29/3/96

Título: Modelos de Concorrência

Autor: J.M.Valença

Sumário: Este seminário destina-se a apresentar alguns dos modelos da concorrência que teem vindo a ser discutidos na literatura. Nomeadamente falar-se-á de:
a) Sistemas de Transição
b) Árvores de Sincronismo
c) Modelos de Traços de Mazurckewitz
d) Estruturas de Eventos de Nielsen & Winskel

Seminário Nr.4

Data: 19/4/96

Título: Abstracções, Representações e Algoritmos: Uma Panorâmica dos Sistemas de VLSI

Autor: J.A.Lima

Sumário: Pretende-se apresentar inicialmente uma panorâmica vertical das diversas fases de concepção dos sistemas de "Very Large Scale Integration" (VLSI) que estão na base da especificação e implementação dos actuais processadores, como o Alfa e o Pentium.

A apresentação concentrar-se-á nos aspectos algoritmícos e nas metodologias de alto nível utilizadas no Desenho Físico (DF) dos sistemas. Os conceitos de partição, "placement", "floorplanning" e "routing" serão apresentados. Sera discutida a importância destes problemas de optimização para o Desenho Físico, e a aplicabilidade dos algorítmos e metodologias de DF a outros campos da engenharia de computadores.

Serão feitas referências as diferentes metodologias actualmente utilizadas em cada uma das fases de concepção, bem como o seu relacionamento com as linguagens de programação e o "software".

A título ilustrativo alguns exemplos serão mencionados.