Complexity Theory lost in Math?
27 views
Skip to first unread message
Joao Marcos
Mar 12, 2019, 7:35:29 AM3/12/19
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Valeria me disse outro dia algo sobre como a área de Teoria de
Complexidade tem sido uma das principais áreas em que a Lógica
Matemática tem crescido nos últimos tempos, e isto me remeteu a este
ensaio recente escrito pelo Moshe Vardi:
Lost in Math?
Communications of the ACM, March 2019, Vol. 62 No. 3, Page 7
10.1145/3306448
https://cacm.acm.org/magazines/2019/3/234913-lost-in-math/fulltext
JM
Complexidade tem sido uma das principais áreas em que a Lógica
Matemática tem crescido nos últimos tempos, e isto me remeteu a este
ensaio recente escrito pelo Moshe Vardi:
Lost in Math?
Communications of the ACM, March 2019, Vol. 62 No. 3, Page 7
10.1145/3306448
https://cacm.acm.org/magazines/2019/3/234913-lost-in-math/fulltext
JM
Valeria de Paiva
Mar 12, 2019, 9:08:28 PM3/12/19
to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Obrigada pelo link Joao Marcos!
--
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/CAO6j_Lg-0PzUgmVd8N%3Db2UJnmycUGK1wFvU4rtv3D5X0oqyjXg%40mail.gmail.com.
Joao Marcos
Mar 14, 2019, 11:24:26 AM3/14/19
to Valeria de Paiva, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
E por falar em complexidade, o evento abaixo pode ser de interesse
para alguns colegas da lista.
JM
###
Symposium on 50 Years of Complexity Theory: A Celebration of the Work of
Stephen Cook
May 6-9, 2019
The Fields Institute, Toronto, Ontario, Canada
http://www.fields.utoronto.ca/activities/18-19/NP50
This symposium celebrates 50 years of NP-Completeness and the outstanding
achievements of Stephen Cook and his remarkable influence on the field of
computing.
The symposium begins Monday evening May 6, with a reception and a public
lecture by Christos Papadimitriou. The scientific program continues Tuesday May
7 to Thursday May 9 and features an outstanding set of speakers, including a
number of Turing Award and other award winners. On Thursday there will be a
student round table lunch with Stephen Cook.
Registration is less than $150 USD (less than $75 USD for students and
postdocs) and is highly subsidized (thanks to our sponsors!). It includes
coffee breaks and lunch (May 7-8) as well as a special banquet on Wednesday
evening. The Monday public event is free, and has a separate registration.
Thanks to several grants from our sponsors, there is funding to help with
travel support for students and postdocs. Please visit the ?Apply for Funding?
link on the webpage to apply.
para alguns colegas da lista.
JM
###
Symposium on 50 Years of Complexity Theory: A Celebration of the Work of
Stephen Cook
May 6-9, 2019
The Fields Institute, Toronto, Ontario, Canada
http://www.fields.utoronto.ca/activities/18-19/NP50
This symposium celebrates 50 years of NP-Completeness and the outstanding
achievements of Stephen Cook and his remarkable influence on the field of
computing.
The symposium begins Monday evening May 6, with a reception and a public
lecture by Christos Papadimitriou. The scientific program continues Tuesday May
7 to Thursday May 9 and features an outstanding set of speakers, including a
number of Turing Award and other award winners. On Thursday there will be a
student round table lunch with Stephen Cook.
Registration is less than $150 USD (less than $75 USD for students and
postdocs) and is highly subsidized (thanks to our sponsors!). It includes
coffee breaks and lunch (May 7-8) as well as a special banquet on Wednesday
evening. The Monday public event is free, and has a separate registration.
Thanks to several grants from our sponsors, there is funding to help with
travel support for students and postdocs. Please visit the ?Apply for Funding?
link on the webpage to apply.
Alexandre Rademaker
Mar 17, 2019, 10:58:12 AM3/17/19
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA, Joao Marcos
Sim João, post muito bom do Moshe Vardi. Que me lembrou de:
[...] the study and optimisation of unification-based parsing must rely on empirical data until complexity theory can more accurately predict the practical behaviour of such parsers. [...] It seems likely that implementational decisions and optimisations based on subtle properties of specific grammars can [...] be more important than worst-case complexity.
(Carroll, 1994: http://aclweb.org/anthology/P94-1040)
--
Alexandre Rademaker
http://arademaker.github.io
Reply all
Reply to author
Forward
0 new messages