From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5153 Path: news.gmane.org!not-for-mail From: Valeria de Paiva Newsgroups: gmane.science.mathematics.categories Subject: Re: World Congress and School of Universal Logic, Lisbon 2010 Date: Sat, 19 Sep 2009 08:46:19 -0700 Message-ID: Reply-To: Valeria de Paiva NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: ger.gmane.org 1253379248 13265 80.91.229.12 (19 Sep 2009 16:54:08 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 19 Sep 2009 16:54:08 +0000 (UTC) To: categories@mta.ca, jyb@ufc.br Original-X-From: categories@mta.ca Sat Sep 19 18:54:01 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1Mp3C9-0004hL-22 for gsmc-categories@m.gmane.org; Sat, 19 Sep 2009 18:53:57 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Mp2hg-0004e7-UB for categories-list@mta.ca; Sat, 19 Sep 2009 13:22:28 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5153 Archived-At: Hello, HUGE correction: Note that there will be a Special Session on "Categorical Logic", organized by Andrei RODIN and Valeria de Paiva. (I don't know how I got it so wrong using cut-and-paste, but I did...) Valeria On Wed, Sep 16, 2009 at 9:25 PM, Valeria de Paiva wrote: > Friends, > > An announcement for the Universal Logic School in Lisbon next year. Note > that there will be a Special Session on "Categorical Logic", organized by > Andrei Rubin and Valeria de Paiva. > > Deadline for submission of abstracts: 15th October 2009 > > Best, > > Valeria > > ---------- Forwarded message ---------- > From: Jean-Yves Beziau > Date: Wed, Sep 16, 2009 at 4:44 AM > Subject: World Congress and School of Universal Logic, Lisbon 2010 > To: jyb@ufc.br > > > The third edition of the World Congress and School on Universal Logic will > happen April 18-25, 2010 in Lisbon, Portugal. > > There will be: > 10 invited speakers, among them: Hartry Field, Yuri Gurevich, Gehrard > Jaeger, Dana Scott > 10 special sessions, among them: logic diagrams, substructural logics, > non-classical mathematics > 21 tutorials, among them: Hybrid logic, Logical Pluralism, Erotetic > Logics, Truth-values > 1 contest: How to combine logics? > > Submission deadline for contributed talks is October 15, 2009 > > UNILOG'2010 > World Congress and School on Universal Logic III > April 18-25, Lisbon, Portugal > http://www.uni-log.org > > > > > > > -- > Valeria de Paiva > http://www.cs.bham.ac.uk/~vdp/ < > http://www.cs.bham.ac.uk/%7Evdp/> > http://valeriadepaiva.org/www/ > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]