Informações sobre Cursos de Verão

39 views
Skip to first unread message

Thiago Nascimento da Silva

unread,
Aug 14, 2016, 11:10:53 PM8/14/16
to LOGICA-L
Olá, chega em agosto começam a sair informações sobre Cursos de Verão em Matemática. A Unicamp e ICMC-USP já lançaram o programa de 2017. Alguém possui informações sobre Cursos de Verão em Lógica? Pesquisando aqui no grupo vi que em 2012 teve um Curso de Verão em Teoria dos Tipos na UFPE ministrado pelo Professor Ruy Queiroz, mas nenhum curso além desse. Agradeço.

Vítor Godeiro

unread,
Aug 15, 2016, 10:10:12 AM8/15/16
to logi...@dimap.ufrn.br
Olá Thiago,

Em anos anteriores ocorreram escolas de verão relacionados ao programa de pós-graduação em matemática aplicada e estatística (PPGMAE) na UFRN, eventos os quais tiveram cursos e minicursos abordando temas da Lógica. Segue o link das escolas anteriores (https://www.ppgmae.ufrn.br/~ev/2015/EV2015) e (https://www.ppgmae.ufrn.br/~ev/2016/EV2016). Porém para 2017 ainda não foi anunciado nenhuma informação no site do programa em questão.

Atenciosamente,
Vítor de Godeiro Marques.

Em 15 de agosto de 2016 00:10, Thiago Nascimento da Silva <thiagna...@gmail.com> escreveu:
Olá, chega em agosto começam a sair informações sobre Cursos de Verão em Matemática. A Unicamp e ICMC-USP já lançaram o programa de 2017. Alguém possui informações sobre Cursos de Verão em Lógica? Pesquisando aqui no grupo vi que em 2012 teve um Curso de Verão em Teoria dos Tipos na UFPE ministrado pelo Professor Ruy Queiroz, mas nenhum curso além desse. Agradeço.

--
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/cb0ad56d-514d-4212-9e66-f2fb7e0b0a4f%40dimap.ufrn.br.



--

Atenciosamente,
Vítor de Godeiro Marques.

Thiago Nascimento da Silva

unread,
Aug 16, 2016, 7:35:02 AM8/16/16
to logi...@dimap.ufrn.br
Olá, agradeço pelas informações.

Em 15 de agosto de 2016 11:10, Vítor Godeiro <vitorg...@gmail.com> escreveu:
Olá Thiago,

Em anos anteriores ocorreram escolas de verão relacionados ao programa de pós-graduação em matemática aplicada e estatística (PPGMAE) na UFRN, eventos os quais tiveram cursos e minicursos abordando temas da Lógica. Segue o link das escolas anteriores (https://www.ppgmae.ufrn.br/~ev/2015/EV2015) e (https://www.ppgmae.ufrn.br/~ev/2016/EV2016). Porém para 2017 ainda não foi anunciado nenhuma informação no site do programa em questão.

Atenciosamente,
Vítor de Godeiro Marques.
Em 15 de agosto de 2016 00:10, Thiago Nascimento da Silva <thiagna...@gmail.com> escreveu:
Olá, chega em agosto começam a sair informações sobre Cursos de Verão em Matemática. A Unicamp e ICMC-USP já lançaram o programa de 2017. Alguém possui informações sobre Cursos de Verão em Lógica? Pesquisando aqui no grupo vi que em 2012 teve um Curso de Verão em Teoria dos Tipos na UFPE ministrado pelo Professor Ruy Queiroz, mas nenhum curso além desse. Agradeço.

--
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.
--

Atenciosamente,
Vítor de Godeiro Marques.

--
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/.

Samuel Gomes

unread,
Aug 17, 2016, 12:00:18 PM8/17/16
to LOGICA-L
Olás,

Aqui na UFBA costumamos ter uma Semana Temática de Lógica, Conjuntos e Topologia, com minicursos, palestras (nossas e de visitantes) e defesas de mestrado.

As programações de 2014 e 2016 (algumas com links para slides) podem ser vistos aqui:

https://groups.google.com/a/dimap.ufrn.br/forum/#!searchin/logica-l/UFBA|sort:relevance/logica-l/NHNxBRSVcFA/ZT-lK5A7p2kJ

https://mailman.impa.br/pipermail/forumppg/2016-February/002270.html

Em 2015 também teve, mas não achei nada aqui agora.

Ainda não temos nada programado para 2017, mas sempre algum minicurso pelo menos tem e sempre divulgamos por aqui.

Atés,

[]s  Samuel
Reply all
Reply to author
Forward
0 new messages