[Logica-l] EASLLC 2012 (August 27-31, Chongqing, China - student session; deadline May 28, 2012.
Desculpas por cópias múltiples desde anuncio. Saudações da Colômbia, Pedro. The Student Session of the Second East-Asian School on Logic, Language and Computation (EASLLC 2012) will take place in Chongqing, China on August 27-31, 2012. The student session is a forum for students at all levels (Bachelor, Master or PhD) to present original research to audience, with an opportunity to receive feedback from expert readers. In addition, we plan a mentoring program in which selected students will be assigned to a senior person (one of the lecturers) as a mentor for the week for informal interaction and research/career discussions. CALL FOR PAPERS We invite submissions of abstracts of original, unpublished papers from students in the area of logic, language and computation. Submissions will be reviewed by several experts in the field, and authors of accepted papers will be invited to present in the student session, and will be provided with free accommodation. Instruction for Authors: Students are invited to submit an abstract of maximum 3 pages on any topic in logic, language and computation. The abstract should be written properly in English, and must be in PDF format and be submitted to our EasyChair website https://www.easychair.org/conferences/?conf=easllc2012stus. Important Dates: May 28, 2012 - deadline for short abstracts of papers (at most 3 pages) June 10, 2012 - notification date of acceptance/rejection of the papers For any questions, please contact the student session organizer: Yì Wáng ( yi.w...@hib.no) ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Deadline extended! East-Asian School on Logic, Language, and Computation (EASLLC 2012)
Apologies for multiple copies of this message. Pedro Zambrano. Universidad Nacional de Colombia Bogotá - Colombia. _ Dear all, * Deadline for submission to the Student Session of EASLLC 2012 has been extended to May 28, 2012. Please see below for details.* Many thanks and best regards, EASLLC 2012 Student Session Organizing Committee == East-Asian School on Logic, Language, and Computation (EASLLC 2012) Southwest University, Chongqing, China, August 27-31, 2012 http://home.hib.no/prosjekter/easllc2012/ This is a school for graduate students and postdoctoral scholars, similar in spirit to the annual ESSLLI summer schools in Europe and also to the Sino-European Summer School on Logic, Language, and Computation, which took place in Guangzhou, China in December 2010. The program of EASLLC 2012 will consist of nine courses in three different tracks: logic, language, and computation. · Logic Track: Fenrong Liu (Tsinghua University), Rohit Parikh (Brooklyn College of CUNY and CUNY Graduate Center), Jouko Väänänen (University of Helsinki and University of Amsterdam) · Language Track: Pauline Jacobson (Brown University), Geoffrey K. Pullum (University of Edinburgh and Brown University), Dag Westerståhl (Stockholm University) · Computation Track: Krzysztof R. Apt (CWI and University of Amsterdam), Phokion G. Kolaitis (University of California Santa Cruz and IBM Research – Almaden), Moshe Y. Vardi (Rice University) There will be student sessions in the late afternoon/early evening of some days of the School in which students will give short presentations of work in progress. Students are invited to submit an abstract of maximum 3 pages on any topic in logic, language and computation. The abstract should be written properly in English, and must be in PDF format and be submitted to our EasyChair website. Important Dates: May 28, 2012 - deadline for short abstracts of papers (at most 3 pages) June 10, 2012 - notification date of acceptance/rejection of the papers Detailed information about the student session can be found at http://home.hib.no/prosjekter/easllc2012/stusess.asp EASSLC 2012 is an ASL-Sponsored Meeting. ASL offers student travel awards – for details, please see http://aslonline.org/studenttravelawards.html Prior to the School, an International Conference will take place on August 25 and 26, Scientific Organization: Program Committee Chair: Phokion G. Kolaitis Program Committee co-Chairs: Xiangdong He (Southwest University), Jouko Väänänen, Dag Westerståhl Local Organization: Meiyun Guo (Southwest University), Minghui Ma (Southwest University), Jing Wang (Southwest University), Xiaojia Tang (Southwest University) Student Program Organization: Chair: Yi Wang (Bergen University College) Co-Chair: Fan Yang (University of Helsinki) ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Como traduzir labelled systems?
Caros colegas, como vocês traduziriam labelled systems? Pergunto porque há um livro do Gabbay intitulado Labelled Deductive Systems, em dois volumes, do qual só tenho o primeiro volume. Caso alguém possuir uma versão digital do segundo volume, estou interessado. Att., Arthur Buchsbaum ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Como traduzir labelled systems?
Sistemas rotulados, ou sistemas etiquetados. []s, Joao Marcos On 5/16/12, Arthur Buchsbaum arthurrovabu-log...@yahoo.com.br wrote: Caros colegas, como vocês traduziriam “labelled systems”? Pergunto porque há um livro do Gabbay intitulado “Labelled Deductive Systems”, em dois volumes, do qual só tenho o primeiro volume. Caso alguém possuir uma versão digital do segundo volume, estou interessado. Att., Arthur Buchsbaum ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Quine de volta no Brasil, 70 anos depois
W.V.O.Quine estara de volta para o Brasil na semana que vem, 70 anos depois, convidado pelo nosso colega Dirk Greimann na UFF ver o detalho da serie de palestras no site da logica carioca http://www.rio-logic.org/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Quine de volta no Brasil, 70 anos depois
Por que vocês não chamam o Frege também? Em 17 de maio de 2012 18:31, jean-yves beziau beziau...@gmail.comescreveu: W.V.O.Quine estara de volta para o Brasil na semana que vem, 70 anos depois, convidado pelo nosso colega Dirk Greimann na UFF ver o detalho da serie de palestras no site da logica carioca http://www.rio-logic.org/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Quine de volta no Brasil, 70 anos depois
O Dirk ja convidou o Frege o ano passado e foi um grande successo. O ano que vem talvez ele vai convidar o Bertrand Russell ... 2012/5/18 Rodrigo Podiacki podia...@gmail.com Por que vocês não chamam o Frege também? Em 17 de maio de 2012 18:31, jean-yves beziau beziau...@gmail.comescreveu: W.V.O.Quine estara de volta para o Brasil na semana que vem, 70 anos depois, convidado pelo nosso colega Dirk Greimann na UFF ver o detalho da serie de palestras no site da logica carioca http://www.rio-logic.org/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Concerning Hybrid Logics
Dear colleagues and friends, I write to inquire the following concerning hybrid logics: 1. Firstly, I wonder whether hybrid logic languages have a real advantage in relation to *multi-modal logics*, for instance, if the former are really more expressive than the latter, or if the notion of parameter covers that of nominals. 2. I'm not sure whether the modal operators are not satisfaction operators or vice-versa. Isn't it the same as giving new names to old things? I shall appreciate your opinions. Thank you very much, Tony Marmo ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l