Filosofia della matematica: dalla logica alla pratica - Call for papers

Prima CALL FOR PAPERS per il convegno "Filosofia della matematica: dalla logica alla pratica": giovani studiosi a confronto.

Il convegno avrà sede a Pisa, presso la Scuola Normale Superiore, verso la fine di settembre 2012 e sarà della durata di due giorni. Sarà organizzato dal SELP (http://selp.apnetwork.it/sito/), con il patrocinio dell'AILA (http://www.ailalogica.it/) e il sostegno della Scuola Normale Superiore di Pisa.

La partecipazione è aperta a giovani studiosi senza tenure.

Il tema del convegno è la relazione tra teoria e prassi in matematica, nel suo duplice aspetto formale ed informale. In questo contesto la logica viene vista come lo strumento che permette la formalizzazione di idee e concetti, utili per la pratica matematica. Lo spirito che anima questo convegno è quello di approfondire i legami presenti tra filosofia, logica e matematica. L'obiettivo è quello di stimolare e promuovere il dibattito italiano sui principali temi di filosofia della matematica.

TEMI SU CUI SI AUSPICANO CONTRIBUTI:
- il problema degli assiomi in matematica (criteri di giustificazione e ruolo dimostrativo),
- significati e finalità del metodo assiomatico,
- il problema dell'applicabilità della matematica,
- analisi delle nozioni generali e limiti della loro formalizzazione (con attenzione particolare al concetto di calcolabilità),
- problemi relativi alla pratica matematica e ai fondamenti della matematica (con particolare attenzione alla relazione tra categorie e insiemi),
- epistemologia della matematica (con attenzione alle proposte fenomenologiche ed alla relazione tra formalizzazione ed intuizione).

Sono anche previsti due o tre interventi programmati. Per ora è stato confermato quello del Professor Marco Panza (CNRS, Paris) e del Professor Paolo Mancosu (University of California, Berkeley).

MODALITÀ DI PARTECIPAZIONE

Un comitato scientifico valuterà le proposte di relazione.

Comitato scientifico (ad oggi confermato):
- Prof. Vito Michele Abrusci (Università di Roma Tre)
- Prof. Alessandro Andretta (Università di Torino)
- Prof. Carlo Cellucci (Università la Sapienza di Roma)
- Prof. Gabriele Lolli (Scuola Normale Superiore di Pisa)
- Prof. Giuseppe Rosolini (Università di Genova)
- Prof. Carlo Toffalori (Università di Camerino)

Si richiede un abstract di massimo tre pagine.

Date importanti:
- Consegna degli abstract: 1 maggio 2012
- Conferma di accettazione della relazione: 15 giugno 2012

E' prevista una pubblicazione degli atti, quindi si richiede un paper da parte dei relatori, alla scadenza di un mese dopo la conclusione del convegno. La lingua di pubblicazione sarà l'inglese, mentre quella del convegno sarà l'italiano.

COMITATO ORGANIZZATORE
- Prof. Gabriele Lolli (SNS Pisa)
- Dott. Giorgio Venturi (SNS Pisa e Université Paris Diderot)

Gli abstract sono da inviare a giorgio.venturi@sns.it

Si prevede la possibilità di un rimborso parziale o totale delle spese di viaggio e soggiorno per i relatori.

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