**Posted:** 22 November 2016 | **Author:** Aldo Antonelli | **Filed under:** Other |
**Call for papers**

We welcome paper proposals within the area of the philosophy of mathematical practice. A title and abstract (250-500 words) should be sent to gisele.secco@ufrgs.br, before January 31, 2017. Notification will be sent out by April 30th. Post-doctoral fellows and doctoral students are highly invited to send proposals.

**Registration**

All contributing speakers and discussants are requested to confirm their participation before May 30th by sending an e-mail containing name and affiliation and paying a conference fee of US$ 100, which will include congress material, coffee breaks and the conference dinner meal. Participants without a permanent position are entitled to a discount, paying a fee of US$ 50; similarly for those who may attend the conference without presenting a communication. This should be settled in advance via transfer (more details to be defined).

**Keynote speakers**

Luiz Carlos Pereira – Brazil

Jemma Lorenat – USA

Valeria Giardino – France

José Ferreirós – Spain

Erich Reck – USA

**Round Tables**

*Platonism in Mathematical Practice*

Elaine Landry (USA) / Oswaldo Chateaubriand (Brazil) / Marco Panza (France)

—

*Formal and informal proofs*

Jessica Carter (Denmark) / Paolo Mancosu (USA) / Max Dickmann (France)

**Workshops**

*On the relationship between geometry and arithmetic: the theories of proportion from Euclid to Hilbert*

Organizer: Davide Crippa (Czech Republic)

Speakers: Vincenzo De Risi (Germany) / Davide Crippa (Czech Republic) / Eduardo Giovannini (Argentina)

—

*Varieties of visualization in mathematics*

Organizer: Silvia De Toffoli (USA)

Speakers: Silvia De Toffoli (USA) / Javier Legris (Argentine) / Danielle Macbeth (USA)

—

*Education and mathematical practice*

Organizer: Gert Schubring (Brazil)

Speakers: Gert Schubring (Brazil) /Tinne Hoff Kjeldsen (Dennmark) / Nicola Oswald (Germany)

—

*Contradictory objects in mathematical practice*

Organizer: Walter Carnielli (Brazil)

Speakers: Walter Carnielli (Brazil) / Giorgio Venturi (Brazil) / Abilio Rodriguez (Brazil)

**Organizing Committee**

Abel Lassalle Casanave – Brazil —– Chair

Frank Thomas Sautter – Brazil

Wagner Sanz – Brazil

Gisele Secco – Brazil

**Scientific Committee**

Luis Carlos Arboleda – Colombia

Jessica Carter – Denmark

Oswaldo Chateaubriand – Brazil

Elaine Landry – USA

Paolo Mancosu – USA

Marco Panza – France -—- Chair

(download this cfp in pdf format)

**Posted:** 19 May 2016 | **Author:** Richard Zach | **Filed under:** Other |
12-14 October 2016

Munich Center for Mathematical Philosophy, LMU Munich

In the course of the last century, different general frameworks for the foundations of mathematics have been investigated. The orthodox approach to foundations interprets mathematics in the universe of sets. More recently, however, there have been other developments that call into question the whole method of set theory as a foundational discipline. Category-theoretic methods that focus on structural relationships and structure-preserving mappings between mathematical objects, rather than on the objects themselves, have been in play since the early 1960s. But in the last few years they have found clarification and expression through the development of homotopy type theory. This represents a fascinating development in the philosophy of mathematics, where category-theoretic structural methods are combined with type theory to produce a foundation that accounts for the structural aspects of mathematical practice. We are now at a point where the notion of mathematical structure can be elucidated more clearly and its role in the foundations of mathematics can be explored more fruitfully.

The main objective of the conference is to reevaluate the different perspectives on mathematical structuralism in the foundations of mathematics and in mathematical practice. To do this, the conference will explore the following research questions: Does mathematical structuralism offer a philosophically viable foundation for modern mathematics? What role do key notions such as structural abstraction, invariance, dependence, or structural identity play in the different theories of structuralism? To what degree does mathematical structuralism as a philosophical position describe actual mathematical practice? Does category theory or homotopy type theory provide a fully structural account for mathematics?

## Confirmed Speakers

- Prof. Steve Awodey (Carnegie Mellon University)
- Dr. Jessica Carter (University of Southern Denmark)
- Prof. Gerhard Heinzmann (Université de Lorraine)
- Prof. Geoffrey Hellman (University of Minnesota)
- Prof. James Ladyman (University of Bristol)
- Prof. Elaine Landry (UC Davis)
- Prof. Hannes Leitgeb (LMU Munich)
- Dr. Mary Leng (University of York)
- Prof. Øystein Linnebo (University of Oslo)
- Prof. Erich Reck (UC Riverside)

## Call for Abstracts

We invite the submission of abstracts on topics related to mathematical structuralism for presentation at the conference. Abstracts should include a title, a brief abstract (up to 100 words), and a full abstract (up to 1000 words), blinded for peer review. Authors should send their abstracts (in pdf format), together with their name, institutional affiliation and current position to mathematicalstructuralism2016@lrz.uni-muenchen.de. We will select up to five submissions for presentation at the conference. The conference language is English.

## Dates and Deadlines

Submission deadline: 30 June, 2016

Notification of acceptance: 31 July, 2016

Registration deadline: 1 October, 2016

Conference: 12 – 14 October, 2016

For further details on the conference, please visit: http://www.mathematicalstructuralism2016.philosophie.uni-muenchen.de/

**Posted:** 25 January 2016 | **Author:** Richard Zach | **Filed under:** Conferences |
CONFERENCE ANNOUNCEMENT

**The Emergence of Structuralism and Formalism**, June 24- 26, 2016

PRAGUE, CZECH REPUBLIC

http://www.ktf.cuni.cz/KTF-1347.html

organized by Catholic Theological Faculty, Charles University and Institute of Philosophy, Czech Academy of Sciences, v.v.i.

Keynote Speakers:

S. Shapiro

M. Detlefsen

M. Resnik

L. Horsten

The focal question of the workshop is how the nature of mathematics is regarded by representatives of formalism and structuralism. The conference language is English. To submit a proposal, please send a proposal of your paper to conference@ktf.cuni.cz

Proposals for papers should be prepared for anonymous review. Proposals should include title and abstract of the paper (maximum 500 words).

If you have inquiries about the conference or about the submission process, please write to conference@ktf.cuni.cz

**SUBMISSION DEADLINE: April 30. 2016**

Notification of acceptance on May 10. 2016.

The scheduled length of lectures is 30 minutes including approx. 10 minutes for discussion. Selected contributions will be published.

**Posted:** 23 November 2015 | **Author:** Richard Zach | **Filed under:** Other |
**Call for Abstracts**

**Canadian Society for History and Philosophy of Mathematics Annual Meeting**

**University of Calgary, May 29-31, 2016**

*Special Session: Mathematics and Logic in the 19th and 20th Century*

*Kenneth May Lecturer: Dr. Jamie Tappenden, Department of Philosophy, University of Michigan*

The CSHPM will be holding its 2016 Annual Meeting at the University of Calgary in conjunction with the 2016 Congress of the Humanities and Social Sciences. The meeting will be held Sunday through Tuesday, May 29-31, 2016.

Members are invited to present papers on any subject relating to the history of mathematics, its use in the teaching of mathematics, the philosophy of mathematics, or a related topic. Talks in either English or French are welcome.

Please send your title and abstract (200 words or less) in Word or in the body of an email by **February 1, 2016** to:

**For the Special Session:**

Thomas Drucker

Department of Mathematics

University of Wisconsin-Whitewater

Whitewater, WI 53190-1790

druckert@uww.edu

**For the General Session:**

Eisso Atzema

Department of Mathematics & Statistics

University of Maine

Orono, ME 04469

atzema@math.umaine.edu

**Posted:** 4 November 2015 | **Author:** Richard Zach | **Filed under:** PMA news |
With deep sadness we announce the sudden passing of Aldo Antonelli on October 11. The announcement from the UC Davis Department of Philosophy follows. If you would like to share your memories of Aldo or express your condolences, please do so at the UC Davis website.

Our colleague, friend and collaborator, Aldo Antonelli, passed away suddenly on Sunday, October 11, 2015 while bicycling in Sacramento, California. He is survived by his partner, Elaine Landry, brother David, sons Federico and Riccardo, and their mother Giovanna Fogli.

Aldo Antonelli was a professor of philosophy at the University of California, Davis. An expert in pure and applied logic, his research largely focused on issues in defeasible reasoning and non-monotonic logic. His more recent work in philosophy of logic was concerned with applications of generalized quantifier theory and abstraction principles to the foundations of arithmetic in the more general context of Fregean foundations, as well as making contributions to Frege scholarship.

Together with his partner and colleague, philosopher of mathematics Elaine Landry, Antonelli established philosophy of logic and mathematics as a focal point of scholarship in the Davis department. Antonelli was a member of the Association for Symbolic Logic, the American Philosophical Association, the Philosophy of Mathematics Association, and the Society for Exact Philosophy. He had served as coordinating editor of the *Journal of Philosophical Logic* and the *Review of Symbolic Logic*. He taught at Pittsburgh, Yale, Stanford and Michigan State, before joining the University of California, first at Irvine in 1998, and then moving to UC Davis in 2008.

Aldo’s self-description captures his spirit, focus, and sense of humor best:

I grew up in Torino, Italy, where I received my undergraduate education. After a brief stint in corporate R&D, I ended up in Pittsburgh, pursuing a graduate degree at Pitt. I taught here and there around the country for a few years before obtaining my first tenure track job. I then spent ten years at UC Irvine, including two years while on assignment abroad, before coming to Davis. My Erdös number is 4 (Paul Erdös to Joel Spencer to Nuel Belnap to Rich Thomason).

Contributions in Aldo’s memory may be made to a fund in support of graduate students working in logic and philosophy of logic. Please write checks to: UC Davis Foundation, marked “Aldo” and mail to: Chair, Department of Philosophy, One Shields Avenue, Davis CA 95616 USA. You may donate via credit card directly through an Antonelli Memorial Fund Giving page at the UC Davis website.

**Posted:** 16 July 2015 | **Author:** Aldo Antonelli | **Filed under:** Conferences, Events of Interest |
The following workshop will take place in the context of the the ERC project Philosophy of Canonical Quantum Gravity:

### New Spaces for Mathematics and Physics: Formal and Philosophical Reflections

28 September – 2 October 2015,

Institut Henri Poincaré, Paris (France)

http://ercpqg-espace.sciencesconf.org/?lang=en

### Speakers :

Mathieu Anel

Pierre Cartier

Denis-Charles Cisinski

Cecilia Flori

Patrick Iglesias-Zemmour

André Joyal

Mikhail Kapranov

Anders Kock

Maxim Kontsevich

Shahn Majid

Marco Mariño

Timothy Porter

Jean Pradines

Hanno Sahlmann

Urs Schreiber

Carlos Simpson

Michel Vaquié

Since the development of differential and algebraic varieties, the notion of space has traversed very radical transformations, both in pure mathematics and in mathematical physics. The objective of this project is to propose a formal, conceptual and historical vision of these evolutions by addressing recent notions of space in mathematics and/or physics (such as diffeologies, schemes, topoi, stacks, spin networks, homotopy types, noncommutative spaces, supermanifolds, etc.).

This conference is part of the wider project of editing a collective book on these subjects. The workshop is conceived as an opportunity to collectively discuss and enrich the different contributions to the book.

Participation is free, you can register by writing to ercpqg-espace@sciencesconf.org<mailto:ercpqg-espace@sciencesconf.org>.

Scientific Committee : Gabriel Catren et Mathieu Anel

Organisation : C. Cachot, J. Page et F. Zalamea

ERC project Philosophy of Canonical Quantum Gravity,

Laboratoire SPHERE (Sciences, Philosophie et Histoire) – UMR 7219

CNRS – Université Paris Diderot

**Posted:** 20 March 2015 | **Author:** Aldo Antonelli | **Filed under:** Conferences, Events of Interest |
**Third International Meeting of the Association for the Philosophy of Mathematical Practice **

**Location**: Institute Henri Poincaré in Paris, France

**Dates:** November 2-4, 2015

**APMP website: ****http://institucional.us.es/apmp/**

** **

**Invited speakers**:

- Abel Lassalle Casanave (Brasil),
- Leo Corry (Israel),
- Silvia De Toffoli (USA),
- Jeremy Gray (UK),
- Danielle Macbeth (USA)
- Paolo Mancosu (USA).

**Call for papers: **We welcome paper proposals within the area of the philosophy of mathematical practice. A title and abstract (250- 500 words) should be sent to Jessica Carter, jessica@imada.sdu.dk before **April 30, 2015.** Notification will be sent out by June 15. Post-doctoral fellows and doctoral students are highly invited to send proposals.

*The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking approach to understanding mathematics that engages with mathematics in practice –including issues in history of mathematics, the applications of mathematics, cognitive science, etc.*