[Logica-l] WBL 2022 - Extensão do Prazo de Submissão

apoiados pela entidade, como é o caso do WBL. Portanto, a contribuição de alunos de graduação e pós é fortemente estimulada. Organização === Organizador Geral: Marlo Vieira dos Santos e Souza (UFBA) Organizadoras do Comitê de Programa: Cláudia Nalon (UnB) e Elaine Pimentel (UFRN) Apoio

[Logica-l] Bill McCune PhD Award in Automated Reasoning 2021, Call for Nominations

Bill McCune PhD Award 2021 consists of the following people: - Nikolaj Bjorner, Microsoft - Pascal Fontaine, University of Liege - Carsten Fuhs, Birkbeck, University of London - Marijn Heule, Carnegie Mellon University - Claudia Nalon, University of Brasilia - Andrew Reynolds, The University of

[Logica-l] Bolsas na área de formalização

Olá a todos, Eu estou coordenando um projeto na área de formalização de sistemas abertos. São duas bolsas a serem implementadas.Tem que ter mestrado completo e ter trabalhado com formalização em assistentes de prova interativos para ordem superior. A preferência é para estudantes da UnB, mas nã

[Logica-l] Fw: Two PDRA vacancies in Formal Verification of Sensor Systems at the University of Manchester

Divulgando a pedido. Cláudia Nalon Departmento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília http://www.cic.unb.br/~nalon From: Clare Dixon Sent: 02 July 2021 10:38 To: Clare Dixon

[Logica-l] Inscrição Pós-Graduação / PPGI / UnB

lógica. Por favor, divulguem a interessados: Atbraços, Cláudia Nalon Departmento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília http://www.cic.unb.br/~nalon -- Você está recebendo esta mensagem porque se inscreveu no grupo

[Logica-l] Fw: Bill McCune PhD Award in Automated Reasoning

Olá a todos, Divulgando a pedido. Considere indicar seus candidatos ao prêmio. Abraços, Cláudia Nalon Departmento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília http://www.cic.unb.br/~nalon

[Logica-l] Edital de Seleção Pós-Graduação em Informática, UnB.

a quem possa interessar. Atenciosamente, Cláudia Nalon Departmento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília http://www.cic.unb.br/~nalon -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L

[Logica-l] LSFA 2020 - Deadline Further Extension

PROGRAM COMMITTEE CO-CHAIRS * Cláudia Nalon, University of Brasília * Giselle Reis, CMU-Qatar PROGRAM COMMITTEE * Beniamino Accattoli, INRIA (Saclay) * Sandra Alves, University of Porto * Mario Benevides, UFF * Ana Bove, Chalmers * Manuela Busaniche, CONICET-UNL Santa Fe * Marco Cerami, UFBA * Amy

[Logica-l] LSFA 2020 - Deadline Extension

Please circulate. The deadline has been extended for two weeks. -- Cláudia Nalon Departmento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília http://www.cic.unb.br/~nalon -- LSFA 2020 15th Workshop on

[Logica-l] LSFA 2020 - 3nd CFP

Com desculpas por eventuais duplicações. Solicita-se distribuir em listas e grupos de interesse. -- Cláudia Nalon Departmento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília http://www.cic.unb.br/~nalon

[Logica-l] Edital de Seleção - PPGinf - UnB

/images/editais_posgraduacao/Ciencias_Exatas/Informatica/1_2020/Edital_PPGI_2019_02._Inform%C3%A1tica_FINAL.pdf Abraços, -- Cláudia Nalon Departmento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília http://www.cic.unb.br/~nalon

[Logica-l] Edital de Seleção - Pós-Graduação em Informática (UnB)

p;id=360%3Aselecao-2019-2&catid=80%3Anoticiadestaque%E2%8C%A9=pt&Itemid=489&fbclid=IwAR1w9UjPO6sNpEgp548MbH-KzNU8f-DbMS8O0RLcLQLDkXFLh8MDZKVOKeU Abraços, -- Cláudia Nalon Departmento de Ciência da Computação Instituto de Ciências Exatas Universid

[Logica-l] Fwd: Postdoctoral Research Positions

.uk> Formal application Liverpool: job reference 011437 at https://recruit.liverpool.ac.uk London: https://cis7.bbk.ac.uk/vacancy/postdoctoral-researcher--383691.html Closing Date: 05-May-2019 -- Cláudia Nalon Departmento de Ciência da Computação Inst

[Logica-l] PhD Position, fully funded - The Matryoshka Project

ml [5] https://www.msr-inria.fr/projects/tools-for-proofs/ -- Cláudia Nalon Departmento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília http://www.cic.unb.br/~nalon -- Você está recebendo esta mensagem porque se inscreveu no

Re: [Logica-l] Call for Nominations - VCLA Awards 2018 for Master and Bachelor theses (deadline: 15 March)

.ufrn.br/d/msgid/logica-l/CAHQVs%2BW_uTCRa_2d1%3D%2BbQdupiVgHYuuRjCDj0-W05ovQ5r06vA%40mail.gmail.com?utm_medium=email&utm_source=footer -- Cláudia Nalon Departmento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília http://

Re: [Logica-l] (OFF-TOPIC) Novas Regras para Bolsas no Exterior da CAPES.

ps://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1186113870.34432614.1507998634229.JavaMail.zimbra%40ufba.br [1]. Links: -- [1] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1186113870.34432614.1507998634229.JavaMail.zimbra%40ufba.br?utm_medium=email&utm_source=footer -- Cláudi

[Logica-l] Post-doctoral positions at Liverpool

Nalon Departmento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília http://www.cic.unb.br/~nalon -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição n

Re: [Logica-l] notícias do "Women in Logic 2017"

Olá, João e demais: Em 2017-06-27 16:22, Joao Marcos escreveu: On Sat, Jun 17, 2017 at 5:05 AM, Valeria de Paiva wrote: no aeroporto indo pra Iceland pra Primeira Workshop "Women in Logic" https://sites.google.com/site/firstwomeninlogicworkshop/, associada ao LiCS. a gente tenta, ne? Par

Re: [Logica-l] ATPs (Automatic Theorem Provers) para Lógicas Não-Clássicas

.cle.unicamp.br/prof/carnielli -- Cláudia Nalon Departmento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília http://www.cic.unb.br/~nalon -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos G

[Logica-l] TABLEAUX 2017 DEADLINE EXTENSION

oft Research Neil Murray SUNY at Albany Claudia Nalon Universidade de Brasilia Linh Anh Nguyen Uniwersytet Warszawski Hans de Nivelle Uniwersytet Wroclawski Nicola Olivetti LSIS, Aix-Marseille Universite Jens OttenUniversitetet i Oslo

[Logica-l] TIME 2017 Final call for papers

University of Munich, Germany) - Bart Kuijpers (Hasselt University, Belgium) - Martin Lange (University of Kassel, Germany) - Martin Leucker (University of Lübeck, Germany) - Cláudia Nalon (University of Brasília, Brazil) - Andrea Orlandini (National Research Council of Italy ISTC-CNR, Italy) - Doron Peled

[Logica-l] TABLEAUX 2017 DEADLINE REMINDER

oft Research Neil Murray SUNY at Albany Claudia Nalon Universidade de Brasilia Linh Anh Nguyen Uniwersytet Warszawski Hans de Nivelle Uniwersytet Wroclawski Nicola Olivetti LSIS, Aix-Marseille Universite Jens OttenUniversitetet i Oslo

[Logica-l] TIME 2017 Second call for papers

, Germany) - Martin Leucker (University of Lübeck, Germany) - Cláudia Nalon (University of Brasília, Brazil) - Andrea Orlandini (National Research Council of Italy ISTC-CNR, Italy) - Doron Peled (Bar Ilan University, Israel) - Roberto Posenato (Università degli Studi di Verona, Italy) - Jean

[Logica-l] ITP 2017 - Final Call for Papers

*** Apologies for multiple copies, please redistribute *** FINAL CALL FOR PAPERS ITP 2017 8th International Conference on Interactive Theorem Proving Brasilia, Brazil Se

[Logica-l] TABLEAUX 2017 - Final Call for Papers

nische Universitaet Dresden Boris Motik University of Oxford Leonardo de Moura Microsoft Research Neil Murray SUNY at Albany Claudia Nalon Universidade de Brasilia Linh Anh Nguyen Uniwersytet Warszawski Hans de Nivelle Uniwersytet Wroclawsk

[Logica-l] TABLEAUX/FroCoS/ITP 2017 - Call for Posters

CALL FOR POSTERS TABLEAUX/FroCoS/ITP 25-29 SEPTEMBER 2017 BRASILIA BRAZIL TABLEAUX/FroCoS/ITP 2017 will have a poster session, which is intended for descriptions of works in progress, student projects and relevant research

[Logica-l] TIME 2017 - First call for Papers

French-speaking part of Belgium, and a former European Capital of Culture. -- Cláudia Nalon Departmento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília http://www.cic.unb.br/~nalon -- Você está recebendo esta mensagem porque se

[Logica-l] FroCoS 2017 - 2nd Call for Papers

be co-located with the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017) and the 8th International Conference on Interactive Theorem­Proving (ITP 2017). The local organization of all events will be organised by Claudia Nalon

[Logica-l] ITP 2017 - 2nd Call for Papers

noz Mauricio Ayala-Rincon itp2...@easychair.org http://itp2017.cic.unb.br -- Cláudia Nalon Departmento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília http://www.cic.unb.br/~nalon -- Você está recebendo esta mensagem porque se inscreve

[Logica-l] TABLEAUX 2017 - Second Call for Papers

ska Technische Universität Dresden Boris Motik University of Oxford Leonardo de Moura Microsoft Research Neil Murray SUNY at Albany Cláudia Nalon Universidade de Brasília Linh Anh Nguyen Uniwersytet Warszawski Hans de Nivelle Uniwersytet

[Logica-l] ITP 2017 - FIRST CALL FOR PAPERS

ing's College London Josef Urban, Czech T.U. Prague CONTACT INFORMATION Cesar Munoz Mauricio Ayala-Rincon itp2...@easychair.org http://itp2017.cic.unb.br -- Cláudia Nalon Departmento de Ciência da Computação Instituto de Ciências Exatas Universidad

[Logica-l] TABLEAUX 2017 - First Call for Papers

Boris Motik University of Oxford Leonardo de Moura Microsoft Research Neil Murray SUNY at Albany Cláudia Nalon Universidade de Brasília Linh Anh Nguyen Uniwersytet Warszawski Hans de Nivelle Uniwersytet Wrocławski Nicola Olivetti LSIS, Aix-Marsei

[Logica-l] Edital de Seleção - Mestrado e Doutorado - Computação, UnB

com automação de métodos de provas para lógicas não-clássicas e suas combinações, por favor entre em contato comigo. Eu tenho vagas para o próximo ano, alguns projetos próprios e interesse em ouvir o seu próprio projeto. Abraços, Cláudia Nalon Departmen

Re: [Logica-l] Como anunciar eventos na Sociedade Brasileira de Computação

Oi, Marcelo: Agora só associado com pagamento em dia pode anunciar qualquer coisa nas listas da SBC. O endereço é sb...@sbc.org.br. Abraços, Cláudia Em 2016-09-26 10:00, Marcelo Finger escreveu: Caros. Eu não me lembro mais se existe um endereço para anunciar eventos na SBC geral, sem ser

[Logica-l] TABLEAUX, FroCoS, ITP - CALL FOR WORKSHOPS AND TUTORIALS

(with apologies for multiple posting) CALL FOR WORKSHOPS AND TUTORIALS Three of the main conferences on automated reasoning -- TABLEAUX, FroCoS, and ITP -- will be held in Brasília, Brazil, between 25 and 29 September 2017. Following the long tradition of those events, we invite researchers a

[Logica-l] Methods for Modalities (M4M) - Extended Deadline

Olá a todos, Informando que as datas para submissão de artigos para o M4M (Methods for Modalities) foi estendida até 19 de setembro. Mais informações: http://www.cse.iitk.ac.in/users/icla/M4M/ Abraços, Cláudia Nalon Departamento de Ciência da Computação Instituto de Ciências

[Logica-l] PhD positions in Computational Creativity

Apologies for cross-posting. --- Two full-time PhD scholarships in the EU FP7 Project COINVENT 'Concept Invention Theory' - Otto-von-Guericke University of Magdeburg, Germany. The Institute of Knowledge and Language Engineering at Otto-von-Guericke University

Re: [Logica-l] Niteroi = a cada 3h, um assalto

Bom, de acordo com o mapa da violência, o lugar mais seguro é Marechal Floriano, no Espírito Santo. Mas a pesquisa envolve somente homicídios, pelo que eu entendi. http://mapadaviolencia.org.br/ Cláudia Nalon Departamento de Ciência da Computação Instituto de Ciências Exatas

[Logica-l] CADE-24 Workshop CFPs

Call for Papers Workshops at CADE-24 -- Lake Placid, New York, 9-10 June, 2013 Short CFPs for the following CADE-24 workshops are attached: ADDCT - Automated Deduction: Decidability, Complexity, Tractability ARiSVe - Automated Reasoning in Software Verification ESARAI - Empirically Succes

[Logica-l] PhD positions at Liverpool, UK

Repassando: - PhD positions at Liverpool, UK School of Electrical Engineering, Electronics and Computer Science (EEECS), University of Liverpool, UK The School of EEECS has funds to support up to 10 PhD students to begin at

[Logica-l] Oportunidade de Estudo - Manchester - Reino Unido

acredito que a divulgação desta oportunidade seja de interesse desta lista. Agradeço a atenção, Cláudia Nalon Departamento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília http://www.cic.unb.br/~nalon ** [Please circulate to potentially interested students

[Logica-l] Oportunidades de Bolsas de Doutorado - Reino Unido

). Embora não esteja pessoalmente preparada para responder às questões administrativas, como egressa da University of Liverpool, coloco-me à disposição para esclarecer quaisquer dúvidas que os possíveis candidatos tenham a respeito do curso e da cidade de Liverpool. Obrigada, Cláudia Nalon