|
Escolas passadas
|
A seguir listamos os cursos que foram oferecidos nas Escolas
anteriores bem como os pesquisadores que os ministraram:
- I Escola de Computação - São Paulo - 15 a 27 de fevereiro de
1979.
- Cursos Intermediários
- Máquinas e Linguagens: uma Introdução à Teoria de
Autômatos
Paulo A. S. Veloso (PUC-RJ)
- Organização Lógica de Banco de Dados
Antônio L. Furtado (PUC-RJ)
- Implementação de Linguagens de Programação
Tomasz Kowaltowski (IMECC-UNICAMP)
- Princípios de Sistemas Operacionais
Célio C. Guimarães (IMECC-UNICAMP)
- Introdução à Teoria de Complexidade de Algoritmos
István Simon (IME-USP)
- Cursos Avançados
- Complexity of Arithmetic Computations
Shmuel Winograd (IBM Research Center, Yorktown Heights)
- Systems Programming and Structured Languages
James H. Morris (Xerox Research Center, Palo Alto)
- Fixed Points, Trees and Formal Semantics of Programs
Maurice Nivat (Paris VII)
- II Escola de Computação - Campinas - 9 a 15 de fevereiro de 1981.
- Cursos Intermediários
- Introdução à Arquitetura de Microcomputadores
Nelson C. Machado (IMECC-UNICAMP)
- Análise e Síntese de Programas
Carlos J. P. de Lucena (PUC-RJ)
- A Construção de um Compilador
Valdemar W. Setzer e Inês S. H. de Melo (IME-USP)
- Linguagens Formais e Autômatos
Imre Simon (IME-USP)
- Máquinas, Programas e Algoritmos
Roberto L. de Carvalho (PUC-RJ)
- Cursos Avançados
- Topics in Computational Complexity
Vacsek Chvátal (Montreal)
- Topics in Data Base Management
James N. Gray (IBM Research Center, San Diego)
- Modal Logic of Programs
Zohar Manna (Stanford University)
- III Escola de Computação - Rio de Janeiro - 19 a 30 de julho de
1982.
- Cursos Intermediários
- Redes de Computadores
Daniel A. Menascé e Daniel Schwabe (PUC-RJ)
- Engenharia de Programas
Arndt von Staa (PUC-RJ)
- Introdução às Técnicas de Análise Sintática
Arnaldo V. Moura (IBM, Brasília)
- Algoritmos em Grafos: uma Introdução
Jayme L. Szwarcfiter (NCE-UFRJ)
- Desenvolvimento de Algoritmos e Complexidade de
Computação
Routo Terada (IME-USP)
- Cursos Avançados
- Graph Theory and Applications to Algorithms
Bella Bollobás (Cambridge)
- Criptography
Adi Shamir (MIT e Instituto Weizman)
- Probabilistic Analysis of Algorithms
Richard M. Karp (Berkeley)
- IV Escola de Computação - São Paulo - 12 a 20 de julho de 1984.
- Cursos Intermediários
- Algoritmos Paralelos e Arquiteturas VLSI
Siang W. Song (IME-USP)
- Introdução à Criptografia
Cláudio L. Lucchesi (IMECC-UNICAMP)
- Princípios de Sistemas de Gerência de Bancos de Dados
Distribuídos
Marco A. Casanova e Arnaldo V. Moura (IBM, Brasília)
- Processamento Digital de Imagens
Nelson G. A. Mascarenhas e Flávio R. D. Velasco (INPE)
- Programação Concorrente: Mecanismos de Sincronização e
Comunicação de Processos
Sueli M. dos Santos (COPPE-UFRJ)
- Cursos Avançados
- Intersection Graphs
Martin Golumbic (IBM, Israel)
- Operating Systems
Ken Thompson (Bell Labs, Murray Hills)
- Systems Specification
Dines Bjorn (IBM Research Center, San Jose)
- Pebbling
Maria Klawe (IBM Research Center, San Jose)
- Topics in Computing Theory
Nicholas Pippinger (IBM Research Center, San Jose)
- V Escola de Computação - Belo Horizonte - 10 a 18 de julho de
1986.
- Cursos Intermediários
- Projeto VLSI e seu Suporte Computacional
Hans K. E. Liesenberg (IMECC- UNICAMP)
- Programação em Lógica
Marco A. Casanova, Fernando A. C. Giorno (IBM, Brasília) e
Antônio Luiz Furtado (PUC-RJ)
- Projeto Lógico e Projeto Físico de Banco de Dados
Valdemar W. Setzer (IME-USP)
- Introdução à Computação Gráfica com GKS
Ronaldo C. M. Persiano e Antônio A. F. de Oliveira (COPPE-UFRJ)
- Programação Não-Linear
Geraldo R. Mateus e Henrique P. L. Luna (DCC-UFMG)
- Tipos (Abstratos) de Dados: Programação, Especificação,
Implementação
Paulo A. S. Veloso (PUC-RJ)
- Cursos Avançados
- Integrating Artificial Intelligence and Database
Technologies
Michael L. Brodie (Computing Corporation of America)
- Contributions of Analysis of Algorithms to Computer
Science
Gaston H. Gonnet (University of Waterloo)
- Reasoning about Knowledge
Joseph Halpern (IBM Research Center, Almaden)
- VI Escola de Computação - Campinas - 7 a 15 de julho de 1988.
- Cursos Intermediários
- Desenvolvimento Sistemático de Programas Corretos: a
Abordagem Denotacional
Arnaldo V. Moura e Raul C. B. Martins (IBM, Brasil)
- Algoritmos para Igualdades Minimax em Grafos
Cláudio L. Lucchesi (IMECC-UNICAMP) e Paulo Feofiloff (IME-USP)
- Métodos de Validação de Sistemas Digitais
Flávio R. Wagner, Ingrid J. Porto, Raul F. Weber e Taisy
S. Weber (DCC - UFRGS)
- Bancos de Dados não Convencionais: a tecnologia do BD e suas
novas áreas de aplicação
Rubens Nascimento Melo (PUC-RJ)
- Uma Introdução à Computação Paralela e Distribuída
Cláudio L. Amorim, Valmir C. Barbosa e Edil T. Fernandes
(COPPE-UFRJ)
- Introdução à Programação Funcional
Silvio L. Meira (DI - UFPE)
- Cursos Avançados
- Vector Processing and Alternatives for Concurrent
Programming
Milos D. Ercegovic (UCLA)
- Image Synthesis and Computer Animation
D. Thalmann (Montréal)
- Parallel Computer Architectures
H. Kung (Carnegie-Mellon University)
- VII Escola de Computação - São Paulo - 12 a 20 de julho de 1990.
- Cursos Intermediários
- Conceitos Básicos de Computação Gráfica
Jonas M. Gomes (IMPA) e Luis C. Velho (Globo Comp. Gráfica)
- Introdução à Complexidade de Algoritmos Paralelos
Routo Terada (IME-USP)
- Modelagem e Simulação Discreta de Sistemas
Luiz F. G. Soares (PUC-RJ)
- Palavras, Autômatos e Algoritmos
Imre Simon (IME-USP)
- Processadores Pipeline e Processamento Vetorial
Philippe O. A. Navaux (UFRGS)
- Programação Orientada a Objetos
Tadao Takahashi (CPqD-Telebrás) e Hans K. E. Liesenberg
(IMECC-UNICAMP)
- Cursos Avançados
- Geometric Learning Algorithms
Stephen M. Omohundro (University of California at Berkeley)
- Automata Networks Dynamics and Applications
Eric Goles (Univ. do Chile)
- Automata on Infinite Words
Dominique Perrin (Paris VII)
- VIII Escola de Computação - Gramado - 3 a 12 de agosto de 1992.
- Cursos Intermediários
- Arquiteturas Super Escalares: Detecção e Exploração do
Paralelismo de Baixo Nível
Edil S. T. Fernandes (COPPE-UFRJ) e Anna D. Santos (UFF)
- Fundamentos de Sistemas Multimídia
Luiz F. G. Soares (PUC-RJ), Luiz Tucherman, Marco A. Casanova,
Paulo R. R. L. Nunes (IBM, Brasil)
- Introdução à Lógica Modal Aplicada à Computação
Marcos M. C. Costa (UFPE)
- Métodos Computacionais de Solução de Cadeias de Markov:
Aplicações a Sistemas de Computação e Comunicação
Edmundo A. S. e Silva (NCE-UFRJ) e Richard R. Muntz (UCLA)
- Métodos Estocásticos em Computação Visual
José Ricardo de Almeida Torreão
- Sistemas Hipermídia: Hipertexto e Banco de Dados
Ana C. Salgado, Décio Fonseca, Eduardo Simões de Albuquerque,
Silvio R. L. Meira (UFPE)
- IX Escola de Computação - Recife - 24 a 31 de julho de 1994.
- Cursos Intermediários
- Fundamentos de Geometria Computacional
Pedro J. de Resende e Jorge Stolf (IMECC-UNICAMP)
- Bases da Morfologia Matemática para Análise de
Imagens
Gerald J. F. Banon (INPE) e Junior Barrera (IME-USP)
- Sistemas Distribuídos: de Especificações LOTOS a
Implementações
José A. M. de Queiroz e Paulo R. F. Cunha (DI-UFPE)
- Uma Introdução à Biologia Computacional
João Meidanis e João C. Setubal (IMECC-UNICAMP)
- Rede Digital de Serviços Integrados de Faixa Larga
(RDSI-FL)
José A. S. Monteiro (DI-UFPE)
- Esparsidade, Estrutura, Estabilidade e Escalonamento
Júlio M. Stern (IME-USP)
- Modelagem de Aspectos Temporais de Sistemas de
Informação
Nina Edelweiss e José P. M. de Oliveira (UFRGS)
- Ambientes de Projeto de Sistemas Eletrônicos
Flávio R. Wagner (UFRGS)
- X Escola de Computação - Campinas - 8 a 13 de julho de 1996.
- Cursos Intermediários
- Anatomia de Sistemas de Informação Geográfica
Gilberto Câmara (INPE), Marco A. Casanova, Andrea S. Hemerly
(IBM, Brasil), Geovane C. Magalhães e Cláudia M. B. Medeiros
(IC-UNICAMP)
- Combinatória Poliédrica e Planos-de-Corte Faciais
Carlos E. Ferreira e Yoshiko Wakabayashi (IME-USP)
- Inteligência Artificial - Ferramentas e Teorias
Guilherme Bittencourt (UFSC)
- Introdução às Redes de Petri e Aplicações
Paulo R. M. Maciel, Rafael D. Lins e Paulo R. F. Cunha (DI-UFPE)
- Bases de Modelagem Geométrica
Ronaldo M. Persiano (COPPE-UFRJ)
- Síntese de Circuitos Lógicos Combinacionais
Ricardo Jacobi (UFRGS)
- Cursos Avançados
- Robust Distributed Computing Systems
Ken P. Birman (Cornell University)
- Networked Applications: Issues and Challenges
Inder Gopal (IBM T. J. Watson Research Center)
- Approximation Algorithms
Howard Karloff (Georgia Institute of Technology)
- Principles of Object-Oriented Databases
David Maier (Oregon Graduate Institute)
- Design and Implementation of the GNU C Compiler
Richard Stallman (Free Software Foundation)
- XI Escola de Computação - Rio de Janeiro - 20 a 24 de julho de
1998.
- Cursos Intermediários
- Paralelismo a Nível de Instrução e o Custo de Desvios
Edil S. T. Fernandes (COPPE-UFRJ)
- Introdução à Computação Móvel
Geraldo R. Mateus e Antônio A. F. Loureiro (DCC-UFMG)
- Fundamentos de Redes Neurais Artificiais
André P. L. F. de Carvalho (ICMSC-USP), Antônio de P. Braga
(DEE-UFMG) e Teresa B. Ludemir (DI-UFPE)
- Projeto Lógico Automatizado de Sistemas Digitais
Seqüenciais
Nei L. V. Calazans (PUC-RS)
- Construção de Sistemas Orientados a Objetos Confiáveis
Luiz F. Buzato e Cecília M. F. Rubira (IC-UNICAMP)
- Modelos de Computação e Sistemas Formais
Roberto L. de Carvalho (LNCC-CNPq) e Cláudia M. G. M. de
Oliveira (IME-RJ)
- Cursos Avançados
- QoS Support in Operating Systems and Storage Systems
Avi Silberschatz (Bell Labs, Murray Hill)
- Group (Multicast) Communication in Wide-Area Networks
Donald Towsley (University of Massachussets at Amherst)
- Graph Minors
Reinhard Diestel (Chemnitz)
Página principal