Boa noite a todos(as), Essa é uma excelente notícia!
Gostaria de aproveitar a oportunidade para compartilhar uma preocupação minha, sobre a escassez de trabalhos recentes na área de teoria da recursão ou sobre quaisquer das outras abordagens à computabilidade clássica. Acredito que cada vez é mais dificil encontrar um problema que não tenha sido resolvido anteriormente. Isso me aconteceu algumas veces no meu doutorado, pensava num problema e depois encontrava que alguém já o tinha resolvido e uma vez cheguei até resolver mesmo um problema sobre conjuntos produtivos, mas depois descubri que Dekker o tinha resolvido em 1955. Até que finalmente consegui contribuir na área e acabou dando tudo certo. A continuação embaço superficialmente o motivo desta preocupação: Entre os tutoriais, as palestras convidadas, e as sessões especiais deste CiE2020 não têm nenhuma que seja sobre teoria da recursão ou sobre quaisquer das outras abordagens à computabilidade clássica. Depois ao verificar a lista de 23 artigos aceitos apenas encontrei os seguintes três que provavelmente sejam sobre computabilidade clássica: - Lars Kristiansen and Juvenal Murwanashyaka. On Interpretability between some weak essential undecidable theories - Russell Miller. Non-coding enumeration operators - Iosif Petrakis. Functions of Baire class one over a Bishop topology Inclui o terceiro na lista, porque as funções totais (não necessariamente computáveis) formam um espaço de Baire. E entre as 14 apresentações informais apenas encontrei uma que pode ser que seja sobre computabilidade clássica: - James Walsh and Patrick Lutz. Incompleteness and jump hierarchies. Em dezembro de 2018 participei no CCR2018 e lá aconteceu algo similar: somente dois trabalhos foram sobre computabilidade clássica, um era de Rod Downey e o outro foi o meu junto com o meu orientador prof. Benjamín Bedregal. Gostaria de saber se vocês têm a mesma percepção minha e se tem mais alguém dentro do Brasil que trabalhe com computabilidade clássica. Abraços, Claudio Callejas. El lun., 8 jun. 2020 a las 16:19, Joao Marcos (<[email protected]>) escribió: > Note: "Registration is now open and free of charge." > > JM > > ---------- Forwarded message --------- > > COMPUTABILITY IN EUROPE 2020 CALL FOR PARTICIPATION > > CiE 2020: > Virtually in Salerno, Italy > Due to the Covid-19 outbreak, this edition will be an online conference. > > > June 29 - July 3, 2020 > https://www.acie.eu/cie-conference-series/cie2020 > https://www.acie.eu > > IMPORTANT DATES: > > 15 JUNE: REGISTRATION DEADLINE > > Registration (https://www.acie.eu/cie-conference-series/cie2020) is now > open and free of charge. Registration is mandatory to attend the talks. > > CiE 2020 is the 16th conference organized by CiE (Computability in > Europe), a European association of mathematicians, logicians, computer > scientists, philosophers, physicists and others interested in new > developments in computability and their underlying significance for the > real world. > > Previous meetings have taken place in Amsterdam (2005), Swansea (2006), > Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), > Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest > (2015), Paris (2016), Turku (2017), Kiel (2018), and Durham (2019). > > TUTORIALS > > _Fine-Grained Complexity_ - Virginia Vassilevska Williams (MIT) > _Computable Analysis_ - Martin Ziegler (Korea Advanced Institute of > Science and Technology) > > INVITED TALKS: > > _Centralities in Network Analysis_ -- Paolo Boldi (University of Milan) > _A game-theoretic approach for the automated synthesis of complex > systems _-- Véronique Bruyère (University of Mons) > On-the-fly classification of structures -- Ekatarina Fokina (Vienna > University of Technology) > _A Survey on Analog Models of Computation_ -- Amaury Pouly (CNRS Paris) > _On the Repetitive Structure of Words_ -- Antonio Restivo (University of > Palermo) > _Molecular algorithms using reprogrammable DNA self-assembly_ -- Damien > Woods (Maynooth University) > > HOSTED BY: > > Department of Computer Science, University of Salerno > Due to the Covid-19 outbreak, this edition will be an online conference. > > > SPECIAL SESSIONS: > > Algorithmic Learning Theory > Combinatorial String Matching > Computable Topology > HAPOC session on Fairness in Algorithms > Large scale Bioinformatics and Computational Sciences > Modern aspects of Formal Languages > > The CiE conferences serve as an interdisciplinary forum for research in > all aspects of computability, foundations of computer science, logic, > and theoretical computer science, as well as the interplay of these > areas with practical issues in computer science and with other > disciplines such as biology, mathematics, philosophy, or physics. > > -- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" > dos Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para [email protected]. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh21%3DoALN9FEpJmAA1KrvXSmSbPYTdYnCF%2BYVRNmrqL8w%40mail.gmail.com > . > -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAE_57e0dLDAC8Fuqz%3DHjriXTtMw3M2tnfXszqpPCx5QB%3DoO_2Q%40mail.gmail.com.
