Convite: workshop em homenagem aos 70 anos do professor Chico Miraglia
117 views
Skip to first unread message
hug...@ime.usp.br
Sep 10, 2016, 10:10:34 PM9/10/16
to logi...@dimap.ufrn.br, Marcelo Esteban Coniglio, Vinicius Cifú Lopes
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
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
Samuel Gomes
Sep 11, 2016, 9:23:31 AM9/11/16
to LOGICA-L
... Lembrando que é uma opção para dar uma esticada depois da Trends na Unicamp !
josé carlos cifuentes
Sep 11, 2016, 10:50:55 AM9/11/16
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Caríssimos, quero aproveitar destas mensagens para cumprimentar ao CLE pelos 40 anos de maravilhosa existência que me traz incríveis lembranças de minha formação em lógica matemática, especialmente através de meus professores e amigos, Walter Carnielli, Ítala D'Ottaviano e o saudoso Antônio Mario Sette. Também, ao professor "Chico" Miraglia que indiretamente, com toda a escola de lógica da USP, fizeram parte dessa formação. Eu infelizmente não poderei comparecer a essas comemorações por diversas circunstâncias, mas acompanharei no pensamento.
Quero concluir mencionando apenas alguns personagem ligados de alguma forma ao CLE, ao IMECC e ao IME dos quais recebi ensinamentos relevantes durante minha passagem pela UNICAMP (além dos já mencionados): Newton da Costa, Roberto Cignoli, Xavier Caicedo, Max Dickmann, ...
Um forte abraço a todos e "saúde".
Cifuentes
Em 11 de setembro de 2016 10:23, 'Samuel Gomes' via LOGICA-L <logi...@dimap.ufrn.br> escreveu:
... Lembrando que é uma opção para dar uma esticada depois da Trends na Unicamp !
--
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+unsubscribe@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@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/3283ad3a-a0e5-4fa3-b04d-7ae292400cef%40dimap.ufrn.br.
Walter Alexandre Carnielli
Sep 11, 2016, 11:02:46 AM9/11/16
to logi...@dimap.ufrn.br
Carissimo Cifuentes /"Cifa",
como de certa forma o "causador" do excelente " efeito" de você ter mudado sua carreira e sua vida para o Brasil, deste quando você morava em Lima e trabalhávamos em Santiago de Chile, e também como o organizador do Trends in Logic XVI que celebra os 40 anis do CLE, quero agradecer aa sua mensagem e dar, por outro lado, os parabéns a você pela sua carreira,
Abraços,
Walter
--
Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAEQwYATf3_5807PshL9_Ww85Y-jifz-qYiRkpg5cjk9rLwCmSw%40mail.gmail.com.
Joao Marcos
Sep 11, 2016, 11:04:35 AM9/11/16
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Você também faz parte desta história, Cifuentes! Ainda me recordo com
carinho do excelente curso de Teoria de Modelos que você lecionou lá
no CLE nos idos de 1997 (?), do qual tive oportunidade de desfrutar.
Quanto ao Chico Miraglia, merece _todas_ as nossas homenagens!
Belíssima a iniciativa de Hugo, Marcelo e Vinicius de organizar este
evento.
Joao Marcos
2016-09-11 11:50 GMT-03:00 josé carlos cifuentes <jcc...@gmail.com>:
> Caríssimos, quero aproveitar destas mensagens para cumprimentar ao CLE pelos
> 40 anos de maravilhosa existência que me traz incríveis lembranças de minha
> formação em lógica matemática, especialmente através de meus professores e
> amigos, Walter Carnielli, Ítala D'Ottaviano e o saudoso Antônio Mario Sette.
> Também, ao professor "Chico" Miraglia que indiretamente, com toda a escola
> de lógica da USP, fizeram parte dessa formação. Eu infelizmente não poderei
> comparecer a essas comemorações por diversas circunstâncias, mas
> acompanharei no pensamento.
> Quero concluir mencionando apenas alguns personagem ligados de alguma forma
> ao CLE, ao IMECC e ao IME dos quais recebi ensinamentos relevantes durante
> minha passagem pela UNICAMP (além dos já mencionados): Newton da Costa,
> Roberto Cignoli, Xavier Caicedo, Max Dickmann, ...
> Um forte abraço a todos e "saúde".
> Cifuentes
--
http://sequiturquodlibet.googlepages.com/
carinho do excelente curso de Teoria de Modelos que você lecionou lá
no CLE nos idos de 1997 (?), do qual tive oportunidade de desfrutar.
Quanto ao Chico Miraglia, merece _todas_ as nossas homenagens!
Belíssima a iniciativa de Hugo, Marcelo e Vinicius de organizar este
evento.
Joao Marcos
2016-09-11 11:50 GMT-03:00 josé carlos cifuentes <jcc...@gmail.com>:
> Caríssimos, quero aproveitar destas mensagens para cumprimentar ao CLE pelos
> 40 anos de maravilhosa existência que me traz incríveis lembranças de minha
> formação em lógica matemática, especialmente através de meus professores e
> amigos, Walter Carnielli, Ítala D'Ottaviano e o saudoso Antônio Mario Sette.
> Também, ao professor "Chico" Miraglia que indiretamente, com toda a escola
> de lógica da USP, fizeram parte dessa formação. Eu infelizmente não poderei
> comparecer a essas comemorações por diversas circunstâncias, mas
> acompanharei no pensamento.
> Quero concluir mencionando apenas alguns personagem ligados de alguma forma
> ao CLE, ao IMECC e ao IME dos quais recebi ensinamentos relevantes durante
> minha passagem pela UNICAMP (além dos já mencionados): Newton da Costa,
> Roberto Cignoli, Xavier Caicedo, Max Dickmann, ...
> Um forte abraço a todos e "saúde".
> Cifuentes
http://sequiturquodlibet.googlepages.com/
josé carlos cifuentes
Sep 11, 2016, 11:05:51 AM9/11/16
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Prezadíssimo Walter, foi e será sempre uma honra trabalhar com vocês. Já nos reencontraremos.
Cifa
Em 11 de setembro de 2016 12:02, Walter Alexandre Carnielli <walter.c...@gmail.com> escreveu:
Carissimo Cifuentes /"Cifa",como de certa forma o "causador" do excelente " efeito" de você ter mudado sua carreira e sua vida para o Brasil, deste quando você morava em Lima e trabalhávamos em Santiago de Chile, e também como o organizador do Trends in Logic XVI que celebra os 40 anis do CLE, quero agradecer aa sua mensagem e dar, por outro lado, os parabéns a você pela sua carreira,Abraços,Walter
Caríssimos, quero aproveitar destas mensagens para cumprimentar ao CLE pelos 40 anos de maravilhosa existência que me traz incríveis lembranças de minha formação em lógica matemática, especialmente através de meus professores e amigos, Walter Carnielli, Ítala D'Ottaviano e o saudoso Antônio Mario Sette. Também, ao professor "Chico" Miraglia que indiretamente, com toda a escola de lógica da USP, fizeram parte dessa formação. Eu infelizmente não poderei comparecer a essas comemorações por diversas circunstâncias, mas acompanharei no pensamento.Quero concluir mencionando apenas alguns personagem ligados de alguma forma ao CLE, ao IMECC e ao IME dos quais recebi ensinamentos relevantes durante minha passagem pela UNICAMP (além dos já mencionados): Newton da Costa, Roberto Cignoli, Xavier Caicedo, Max Dickmann, ...Um forte abraço a todos e "saúde".Cifuentes
Em 11 de setembro de 2016 10:23, 'Samuel Gomes' via LOGICA-L <logi...@dimap.ufrn.br> escreveu:
... Lembrando que é uma opção para dar uma esticada depois da Trends na Unicamp !
--
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+u...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@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/3283ad3a-a0e5-4fa3-b04d-7ae292400cef%40dimap.ufrn.br.
--
Você recebeu essa mensagem porque está inscrito 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+unsubscribe@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAEQwYATf3_5807PshL9_Ww85Y-jifz-qYiRkpg5cjk9rLwCmSw%40mail.gmail.com.
--
Você recebeu essa mensagem porque está inscrito 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+unsubscribe@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/FB8CDB86-AB81-4C87-A43F-7354E8DE081B%40gmail.com.
josé carlos cifuentes
Sep 11, 2016, 11:17:44 AM9/11/16
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Grande João Marcos, de fato, foi em 1997, uma oportunidade ímpar em que foi professor visitante no CLE por um semestre. A teoria de modelos sempre foi minha preferida por considera-la a mais próxima das aplicações da lógica na matemática (uma opinião pessoal pois sou matemático de formação).
Ainda, permitam-me aproveitar desta mensagem para pedir desculpas por um grave esquecimento da breve lista de professores que mencionei antes: Daniele Mundici.
Um forte abraço.
Cifuentes
Em 11 de setembro de 2016 12:05, josé carlos cifuentes <jcc...@gmail.com> escreveu:
Prezadíssimo Walter, foi e será sempre uma honra trabalhar com vocês. Já nos reencontraremos.Cifa
Em 11 de setembro de 2016 12:02, Walter Alexandre Carnielli <walter.c...@gmail.com> escreveu:
Carissimo Cifuentes /"Cifa",como de certa forma o "causador" do excelente " efeito" de você ter mudado sua carreira e sua vida para o Brasil, deste quando você morava em Lima e trabalhávamos em Santiago de Chile, e também como o organizador do Trends in Logic XVI que celebra os 40 anis do CLE, quero agradecer aa sua mensagem e dar, por outro lado, os parabéns a você pela sua carreira,Abraços,Walter
--Caríssimos, quero aproveitar destas mensagens para cumprimentar ao CLE pelos 40 anos de maravilhosa existência que me traz incríveis lembranças de minha formação em lógica matemática, especialmente através de meus professores e amigos, Walter Carnielli, Ítala D'Ottaviano e o saudoso Antônio Mario Sette. Também, ao professor "Chico" Miraglia que indiretamente, com toda a escola de lógica da USP, fizeram parte dessa formação. Eu infelizmente não poderei comparecer a essas comemorações por diversas circunstâncias, mas acompanharei no pensamento.Quero concluir mencionando apenas alguns personagem ligados de alguma forma ao CLE, ao IMECC e ao IME dos quais recebi ensinamentos relevantes durante minha passagem pela UNICAMP (além dos já mencionados): Newton da Costa, Roberto Cignoli, Xavier Caicedo, Max Dickmann, ...Um forte abraço a todos e "saúde".CifuentesEm 11 de setembro de 2016 10:23, 'Samuel Gomes' via LOGICA-L <logi...@dimap.ufrn.br> escreveu:... Lembrando que é uma opção para dar uma esticada depois da Trends na Unicamp !
--
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+u...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@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/3283ad3a-a0e5-4fa3-b04d-7ae292400cef%40dimap.ufrn.br.
Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAEQwYATf3_5807PshL9_Ww85Y-jifz-qYiRkpg5cjk9rLwCmSw%40mail.gmail.com.
--
Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br.
Reply all
Reply to author
Forward
0 new messages