Associação Europeia de Ciência da Computação Teórica - European Association for Theoretical Computer Science
A European Association for Theoretical Computer Science ( EATCS ) é uma organização internacional com enfoque europeu , fundada em 1972. Tem por objetivo facilitar o intercâmbio de ideias e resultados entre cientistas da computação teóricos, bem como estimular a cooperação entre o teórico e o prático comunidade em ciência da computação .
As principais atividades do EATCS são:
- Organização do ICALP , o Colóquio Internacional sobre Autômatos, Linguagens e Programação ;
- Publicação do Boletim do EATCS ;
- Publicação de uma série de monografias e textos sobre informática teórica ;
- Publicação da revista Theoretical Computer Science ;
- Publicação da revista Fundamenta Informaticae .
Prêmio EATCS
A cada ano, o Prêmio EATCS é concedido em reconhecimento a uma carreira distinta em ciência da computação teórica. O primeiro prêmio foi atribuído a Richard Karp em 2000; a lista completa dos vencedores é fornecida abaixo:
Ano | Premiado | Lugar |
---|---|---|
2021 | Toniann Pitassi | ICALP ( Glasgow ) |
2020 | Mihalis Yannakakis | ICALP ( Saarbrücken ) |
2019 | Thomas Henzinger | ICALP ( Patras ) |
2018 | Noam Nisan | ICALP ( Praga ) |
2017 | Éva Tardos | ICALP ( Varsóvia ) |
2016 | Dexter Kozen | ICALP ( Roma ) |
2015 | Christos Papadimitriou | ICALP ( Kyoto ) |
2014 | Gordon Plotkin | ICALP ( Copenhague ) |
2013 | Martin Dyer | ICALP ( Riga ) |
2012 | Moshe Vardi | ICALP ( Warwick ) |
2011 | Boris Trakhtenbrot | ICALP ( Zurique ) |
2010 | Kurt Mehlhorn | ICALP ( Bordéus ) |
2009 | Gérard Huet | ICALP ( Rodes ) |
2008 | Leslie G. Valiant | ICALP ( Reykjavík ) |
2007 | Dana S. Scott | ICALP ( Wroclaw ) |
2006 | Mike Paterson | ICALP ( Veneza ) |
2005 | Robin Milner | ICALP ( Lisboa ) |
2004 | Arto Salomaa | ICALP ( Turku ) |
2003 | Grzegorz Rozenberg | ICALP ( Eindhoven ) |
2002 | Maurice Nivat | ICALP ( Málaga ) |
2001 | Corrado Böhm | ICALP ( Creta ) |
2000 | Richard Karp | ICALP ( Genebra ) |
Prêmio Presburger
A partir de 2010, a Associação Europeia de Ciência da Computação Teórica (EATCS) confere todos os anos na conferência ICALP o Prêmio Presburger a um jovem cientista (em casos excepcionais a vários jovens cientistas) por contribuições destacadas em ciência da computação teórica, documentado por um artigo publicado ou uma série de artigos publicados. O prêmio leva o nome de Mojzesz Presburger que realizou seu trabalho pioneiro sobre a decidibilidade da teoria da adição (que hoje é chamada de aritmética de Presburger) como um estudante em 1929. A lista completa dos vencedores é fornecida abaixo:
Ano | Premiado | Lugar |
---|---|---|
2021 | Shayan Oveis Gharan | ICALP ( Glasgow ) |
2020 | Dmitriy Zhuk | ICALP ( Saarbrücken / online) |
2019 | Karl Bringmann , Kasper Green Larsen | ICALP ( Patras ) |
2018 | Aleksander Mądry | ICALP ( Praga ) |
2017 | Alexandra Silva | ICALP ( Varsóvia ) |
2016 | Mark Braverman | ICALP ( Roma ) |
2015 | Xi Chen | ICALP ( Kyoto ) |
2014 | David Woodruff | ICALP ( Copenhague ) |
2013 | Erik Demaine | ICALP ( Riga ) |
2012 | Venkatesan Guruswami , Mihai Patrascu | ICALP ( Warwick ) |
2011 | Patricia Bouyer-Decitre | ICALP ( Zurique ) |
2010 | Mikołaj Bojańczyk | ICALP ( Bordéus ) |
EATCS Fellows
O Programa de Bolsistas da EATCS foi estabelecido pela Associação para reconhecer os membros da EATCS de destaque por suas realizações científicas no campo da Ciência da Computação Teórica. O status de bolsista é conferido pelo Comitê de Seleção de Bolsistas do EATCS a uma pessoa com histórico de liderança intelectual e organizacional na comunidade do EATCS. Espera-se que os bolsistas sejam “cidadãos modelo” da comunidade TCS, ajudando a desenvolver a posição da TCS além das fronteiras da comunidade.
Premiado | Ano reconhecido |
---|---|
Luca Aceto | 2021 |
Jiri Adamek | 2018 |
Susanne Albers | 2014 |
Rajeev Alur | 2021 |
Giorgio Ausiello | 2014 |
Wilfried Brauer | 2014 |
Artur Czumaj | 2015 |
Pierpaolo Degano | 2020 |
Mariangiola Dezani-Ciancaglini | 2015 |
Josep Diaz | 2017 |
Herbert Edelsbrunner | 2014 |
Zoltán Ésik | 2016 |
Mike Fellows | 2014 |
Fedor Fomin | 2019 |
Yuri Gurevich | 2014 |
Mohammad Hajiaghayi | 2020 |
Magnús M. Halldórsson | 2020 |
David Harel | 2016 |
Monika Henzinger | 2014 |
Thomas A. Henzinger | 2015 |
Giuseppe F. Italiano | 2016 |
Samir Khuller | 2021 |
Dexter Kozen | 2015 |
Marta Kwiatkowska | 2017 |
Stefano Leonardi | 2018 |
Kurt Mehlhorn | 2016 |
Rocco de Nicola | 2019 |
David Peleg | 2021 |
Jean-Éric Pin | 2014 |
Dana Ron | 2019 |
Davide Sangiorgi | 2021 |
Saket Saurabh | 2021 |
Scott A. Smolka | 2016 |
Paul Spirakis | 2014 |
Aravind Srinivasan | 2017 |
Wolfgang Thomas | 2014 |
Moshe Y. Vardi | 2015 |
Moti Yung | 2017 |
Textos em Ciência da Computação Teórica
Boletim EATCS
O Boletim EATCS é um boletim informativo da EATCS, publicado online três vezes ao ano em fevereiro, junho e outubro, respectivamente. O Boletim é um meio de publicação rápida e ampla distribuição de materiais como:
- Questões do EATCS;
- informações sobre o ICALP atual;
- contribuições técnicas;
- colunas;
- pesquisas e tutoriais;
- relatórios de conferências;
- calendário de eventos;
- relatórios sobre departamentos e institutos de ciência da computação;
- listas de relatórios técnicos e publicações;
- resenhas de livros;
- problemas e soluções abertas;
- resumos de teses de doutorado;
- informações sobre visitantes em várias instituições; e
- contribuições divertidas e fotos relacionadas à ciência da computação.
Desde 2021, seu editor-chefe é Stefan Schmid .
Escolas de jovens pesquisadores da EATCS
A partir de 2014, a European Association for Theoretical Computer Science (EATCS) estabeleceu uma série de Young Researcher Schools em tópicos TCS. Uma breve história das escolas segue abaixo.
Ano | Modelo | Lugar |
---|---|---|
2017 | ProbProgSchool 2017 - 1ª Escola de Fundamentos de Sistemas de Programação e Software. Programação probabilística | Braga , portugal |
2015 | 2ª Escola de Jovens Pesquisadores da EATCS - Compreendendo a COMPLEXIDADE e CONCURRÊNCIA através da TOPOLOGIA de DADOS | Camerino , Itália |
2014 | 1ª Escola de Jovens Pesquisadores do EATCS - Autômatos, Lógicas e Jogos | Telč , República Tcheca |