Prezados colegas,
Temos a satisfação de convidá-los para a participar do workshop "Logic
and Applications:in honor to Francisco Miraglia by the occasion of his
70th birthday" , a ser realizado no IME-USP (auditório Jacy Monteiro)
nos dias 16 e 17 de setembro (sexta-feira e sábado).
Nesta singela homenagem que organizamos para agradecer as
contribuições de nosso professor e colega Francisco “Chico” Miraglia,
contaremos com 11 comunicações, 5 palestras e 2 mesas redondas.
Algumas informações sobre o evento estão na página
https://www.ime.usp.br/destaques/francisco-miraglia
Abaixo segue a versão mais atualizada sobre a programação.
16 de setembro
09:30 10:00 Abertura
10:00 10:50 P1: Max Dickmann, Paris 6-7: TBA
10: 50 11:20 Coffee break
11:20 11:50 C1: Marcelo Coniglio, CLE-Unicamp: Swap structures:
algebraizing logics by means of multialgebras
11:55 12:25 C2: Rodrigo Dias, UFABC: Selective games on binary relations
12:30 14:30 Almoço
14:30 15:20 P2: Ofelia Alas, IME-USP: Maximal countably compact spaces
15:25 15:55 C3: Lucia Junqueira, IME-USP: Reflecting topological properties
16:00 16:30 C4: Rodrigo Freire, UNB: Existential Import in Set Theory
16:35 17:05 Coffee break
17:05 17:55 P3: Ricardo Bianconi, IME-USP: Some model theory of
hypergeometric functions
18:00 18:30 C5: Hugo Mariano, IME-USP: Abstract aspects of quadratic forms
18:30 19:00 C6: Vinicius Lopes, UFABC: Some of Chico's quotes
17 de setembro
9:30 10:20 P4: Ruy de Queiroz, UFPE: Propositional equality,
identity types, and computational paths
10: 25 10:55 C7: Andreas Brunner, UFBA: Model Theory in Sheaves
10:55 11:25 Coffee break
11:25 11:55 C8: Samuel Silva, UFBA: Topological equivalences of CUT
and CUT(Fin)
12:00 12:30 C9: Ciro Russo, UFBA: Quantale modules and
propositional deductive systems: interpretation, amalgamation and the
Deduction Theorem
12:30 14:30 Almoço
14:30 15:20 P5: Ivan Shestakov, IME-USP: TBA
15:25 15:55 C10: Leandro Aurichi, ICMC-USP: A family of hyperspaces
and its applications on products problems
16:00 16:30 C11: Claus Horodynski, UNB: Issues concerning
Mathematical formalism
16:30 17:00 Coffee break
17: 00 18:00 Perspectivas da Universidade Brasileira (mesa redonda)
18: 00 19:00 Perspectivas em Lógica e aplicações (mesa redonda)
19: 00 19:20 Encerramento
Cordialmente
a Comissão Organizadora:
Marcelo Esteban Coniglio- UNICAMP
Vinicius Cifú Lopes- UFABC
Hugo Luiz Mariano –IME-USP
--
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/20160910231023.Horde.yDJUb5knOm1Jy0bzt4GEJg5%40webmail.ime.usp.br.
