12º Workshop sobre Lógica, Linguagem, Informação e Computação
É lógico! Nem tanto. Se há quatro afirmações que podem ser falsas ou verdadeiras, quantas coisas diferentes podem ser ditas sobre essas quatro asserções? Responder a esse problema foi o desafio que o professor do Departamento de Automação e Sistemas da Universidade Federal de Santa Catarina (DAS-UFSC) Guilherme Bittencourt propôs aos participantes do 12º Workshop sobre Lógica, Linguagem, Informação e Computação (Wollic 2005). Apenas dois dos nove cientistas que enviaram respostas encontraram o resultado correto. O nome desses dois grandes matemáticos será divulgado no primeiro dia do workshop, que começa nesta terça, dia 19, em Florianópolis. Até o dia 22, 150 pesquisadores – matemáticos, principalmente, mas também engenheiros e cientistas da computação – apresentam trabalhos e assistem a palestras no Jurerê Beach Village.
O professor do DAS explicou brevemente que a área representada no workshop estuda a aplicação da teoria matemática e da lógica em computação. Um dos resultados esperados, segundo ele, é tornar os computadores mais eficientes”, por meio do desenvolvimento de chips e interfaces gráficas, por exemplo. “A lógica é a alma do computador”, comparou Bittencourt, que coordena esta edição do Wollic.
Cientistas como Melvin Fitting, da Universidade da Cidade de Nova Iorque, Jean-Louis Krivine, da Universidade Paris 7, Leonid Libkin, da Universidade de Toronto, Grigori Mints, da Universidade de Stanford, e Thomas Scanlon, da Universidade da Califórnia foram convidados para ministrar palestras. Essas conferências acontecem nos quatro dias do evento. Já as exposições de papers acontecem de 20 a 22.
Patrocinam o evento instituições internacionais – Grupo de Interesse em Lógica Pura e Aplicada (IGPL), a Associação Européia para a Lógica, a Linguagem e a Informação (Folli), a Associação para a Lógica Simbólica (ASL) e a Associação Européia para a Ciência da Computação Teórica (Eatcs) – e nacionais – a Sociedade Brasileira de Computação (SBC) e a Sociedade Brasileira de Lógica (SBL). O próximo Wollic também será em julho, e desta vez em Stanford, Estados Unidos.
fonte: Núcleo de Comunicação do CTC/Por Carla Cabral
Informações com o professor Guilherme Bittencourt : 261- 5100 ou gb@das.ufsc.br
Informações sobre o evento no site www.das.ufsc.br/gia/wollic05
Para conhecer o Departamento de Automação e Sistemas da UFSC: www.das.ufsc.br
