Logic, Algebra, and Truth Degrees 2012 - First Call

Logic, Algebra and Truth Degrees 2012
http://www.jaist.ac.jp/rcis/latd12/

First Call for Papers

The third official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic [1] will be held on 10-14 September 2012 in Kanazawa, Japan.
The conference is organized by Research Center for Integrated Science [2], Japan Advanced Institute of Science and Technology [3].

Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that 'truth comes in degrees' has proved to be very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy.

The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields.

The featured topics include, but are not limited to, the following:
. Proof systems for fuzzy logics: Hilbert, Gentzen, natural deduction, tableaux, resolution, computational complexity, etc.
. Algebraic semantics: residuated lattices, MTL-algebras, BL-algebras, MV-algebras, Abstract Algebraic Logic, functional representation, etc.
. Game-theory: Giles games, Rényi-Ulam games, evaluation games, etc.
. First-order fuzzy logics: axiomatizations, arithmetical hierarchy, model theory, etc.
. Higher-order fuzzy logical systems: type theories, Fuzzy Class Theory, and formal fuzzy mathematics.
. Philosophical issues: connections with vagueness and uncertainty.
. Applied fuzzy logical calculi: foundations of logical programming, logic-based reasoning about similarity, description logics, etc.

We also welcome contributions on any relevant aspects of related logical systems (such as substructural and quantum logics, and many-valued logics in general).

Conference Web Site:
http://www.jaist.ac.jp/rcis/latd12/

Important dates:
. 22 April 2012: deadline for submissions
. 3 June 2012: notifications sent
. 10-14 September 2012: conference

Programme Committee:
. Stefano Aguzzoli (University of Milano, Italy)
. Matthias Baaz (Vienna University of Technology, Austria)
. Petr Cintula (Academy of Sciences, Czech Republic)
. Carles Noguera (CSIC, Spain)
. Hiroakira Ono (JAIST, Japan), Chair
. James Raftery (University of KwaZulu-Natal, South Africa)
. Constantine Tsinakis (Vanderbilt University, USA)

Invited Speakers:
. Rostislav Horčík (Academy of Sciences, Czech Republic)
. Emil Jeřábek (Academy of Sciences, Czech Republic)
. Daniele Mundici (University of Florence, Italy)
. Greg Restall (University of Melbourne, Australia)
. Luca Spada (University of Salerno, Italy)

Tutorial:
. Felix Bou (University of Barcelona, Spain)

If you are interested in presenting a paper, please submit a 2-4 pages abstract at http://www.easychair.org/conferences/?conf=latd2012
Your submission will be confirmed automatically on the e-mail address you provide. The accepted abstracts will be available on-line after the final decision of the program committee. If you have any problems to submit an abstract, please contact us at mail to: latd2012@jaist.ac.jp

The deadline for contributions is 22 April 2012. The notification of acceptance/rejection will be sent until 3 June 2012.

Conference dates:
The scientific program will start Monday morning (10 September) and finish Friday noon (14 September). Wednesday afternoon we plan an excursion.

Venue:
The conference will be held in the city of Kanazawa [4,5,6], located in the Ishikawa prefecture of Japan on the Japan Sea.
The venue is the Ishikawa Prefectural Museum of Art [7] in the center of Kanazawa.

Local Organizing Committee:
. Norbert Preining (JAIST, Japan), Chair
. Katsuhiko Sano (JAIST, Japan)
. Kazushige Terui (Kyoto University, Japan)
. Shunsuke Yatabe (AIST, Japan)

For further information please contact: latd2012@jaist.ac.jp

[1] http://www.mathfuzzlog.org/
[2] http://www.jaist.ac.jp/rcis/en/
[3] http://www.jaist.ac.jp/
[4] http://en.wikipedia.org/wiki/Kanazawa,_Ishikawa
[5] http://www.kanazawa-tourism.com/
[6] http://wikitravel.org/en/Kanazawa
[7] http://www.ishibi.pref.ishikawa.jp/index_j.html

5th Young Set Theory Workshop, Luminy (France), 30 Apr - 4 May 2012

This is the second announcement for the Young Set Theory Workshop that will take place in Luminy between April 30th and May 4th, 2012. Please note the following important information (especially concerning ASL grants, because of the close deadline):

0) Webpages:

The webpage of the conference is:

http://math.univ-lyon1.fr/~melleray/yst2012-info.html

Official registration will soon take place on the CIRM website (before
registering, an account has to be created):

http://www.cirm.univ-mrs.fr/index.html/spip.php?rubrique2

1) Registration fee:

The amount to register will be at most 205 Euros. This will cover food and lodging from Sunday April 29th evening to Friday May 4th (checkout 6pm). Those who are willing to stay at the CIRM until Saturday morning will have the possibility to do so, but we will not be able to cover the corresponding expenses (at most 90 Euros, depending on the kind of bedroom).

Payment of the fee will have to be done online. Details in a soon coming email, and on the website of the conference.

2) Grants:

The ASL will bring support via the possibility of obtaining travel awards for graduate students who are members of the ASL:

http://www.aslonline.org/studenttravelawards.html

Please note that the deadline for asking for such a grant is three months before the meeting. In our case, that means that applications should be sent very shortly, before the end of January 2012.

We will also be able to bring partial financial support for some participants who are not supported by their institutions. To apply for such a grant, participants should contact Lionel Nguyen Van Thé (lionel@latp.univ-mrs.fr), and ask their supervisor to send directly a short reference letter. The deadline for applying is February 29th.

2) Research statement:

We would like all the participants to send us a research statement (pdf) file, which will be made available on the web page.

Call for papers

Pisa Summer Workshop in Proof Theory

Pisa, Italy
12-15 June 2012

Organizers: Department of Philosophy, University of Pisa, Department of Philosophy, University of Helsinki

Open call for papers

Aimed at understanding the structure of mathematical proofs, proof theory has undergone different phases: it has been reductive, general, structural. Especially thanks to sequent calculus formalizations, deep results were attained as far as proofs in pure logic and arithmetic are concerned. Through significant connections with computer science, proof theory contributed to the birth of new areas of research outside traditional mathematics, such as the verification of correctness of computer programs. Natural deduction has led to the Curry-Howard correspondence and to connections with functional programming, and sequent calculus is often used in systems of automatic proof search, as in logic programming. Rooted in general proof theory, a proof-theoretic semantics has been recently developed as an alternative to standard denotational truth-condition semantics. The workshop will focus mainly on proof systems, but we aim at touching several areas of proof-theoretical research.

The workshop will be framed in two six-hour tutorials, six one-hour lectures, and is open to half-hour contributed talks. People interested to present a paper in the workshop may send a title with a short abstract to one of the following e-mail addresses:

moriconi a fls.unipi.it
tesconi a fls.unipi.it
sara.negri a helsinki.fi
jan.vonplato a helsinki.fi

Deadline for submissions: March 20, 2012

TUTORIAL SPEAKERS:

George Metcalfe (University of Bern)
Sara Negri (University of Helsinki)

INVITED SPEAKERS:

Arnon Avron (University of Tel-Aviv)
Kosta Dosen (University of Belgrade)
Hermann Ruge Jervell (University of Oslo)
Simone Martini (University of Bologna)
Alex Simpson (University of Edinburgh)
Jan von Plato (University of Helsinki)

Preliminary web page:

http://www.helsinki.fi/~negri/pswpt.html
 

Periodo intesivo su Forcing e Applicazioni a Toronto

Per chi possa essere interessato, ci sarà nella seconda metà di quest'anno a Toronto un periodo intensivo di studio su Forcing e Applicazioni. Ecco il link della relativa pagina web

http://www.fields.utoronto.ca/programs/scientific/12-13/forcing/

Ci sono a disposizione fondi per dottorandi e post-dottorandi interessati a partecipare. La domanda si può fare online a questo indirizzo

http://www.fields.utoronto.ca/cgi-bin/register?form_selection=forcing

UCLA Logic Center Summer School, Los Angeles CA (U.S.A.), 24 Jun - 14 Jul 2012

The UCLA Logic Center is organizing a summer school for undergraduates. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic.
Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

I'm writing to ask for your help advertising the school and attracting extra bright undergraduates. Please encourage any suitable students that you know to apply.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/.

Questions about the summer school can be directed to logicschool@math.ucla.edu