June 2017 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Thu Jun 1 06:45:22 EDT 2017
Ending: Thu Jun 29 13:12:07 EDT 2017
Messages: 22

• [FOM] Correction / Logic PhDs: first volume Haskell Curry   jean-yves beziau
• [FOM] What the moderator can and cannot do with a submitted post   Martin Davis
• [FOM] Logic Colloquium 2017: Call for Registration and Participation   Roussanka Loukanova
• [FOM] Logic in Question 7 - with Pierre Cartier and Saul Kripke - Paris- Sorbonne, June 13-14   jean-yves beziau
• [FOM] Programme of the Triennial International Conference SILFS 2017   Pierluigi Graziani
• [FOM] UNILOG'2018 in Vichy - Call for Papers   jean-yves beziau
• [FOM] 24th WoLLIC 2017 - Call for Participation   Ruy de Queiroz
• [FOM] PhD position in Proof Theory   Graham Leigh
• [FOM] SD 2017 Final CfP: Structures & Deduction, Oxford 8-9 Sep. (deadline 16 jun)   Anupam Das
• [FOM] Brouwer's notebooks 1905-1907   Mark van Atten
  • [FOM] Brouwer's notebooks 1905-1907   Alice ter Meulen
  • [FOM] Brouwer's notebooks 1905-1907   Mark van Atten
• [FOM] Program: First FilMat Graduate Conference - Philosophy of mathematics: history, theories and practice - Trento, July 13/14 2017   Andrea Sereni
• [FOM] IUSS Philosophy - Visting Professors Seminars - Gabriel Uzquiano (USC) - The cardinal problem of absolute generality - July 10-12, 2017   Andrea Sereni
• [FOM] Logic and Religion II - starting this Sunday in Warsaw   jean-yves beziau
• [FOM] pure vs applied mathematics in general   Kreinovich, Vladik
• [FOM] Final Call for Abstracts (deadline: 30th June 2017) ENABLING MATHEMATICAL CULTURES, University of Oxford, 5th-7th December 2017   Fenner Tanswell
• [FOM] Workshop on the occasion of Samuel R Buss’ 60th birthday   Arnold Beckmann
• [FOM] interesting paper on constructive mathematics   Kreinovich, Vladik
• [FOM] Goedel's theorem for Martin-Lof type theory   Timothy Y. Chow
• [FOM] LFCS 2018: Second CFP   Robert Lubarsky
• [FOM] South American Journal of Logic / Mathematical Reviews   jean-yves beziau

Last message date: Thu Jun 29 13:12:07 EDT 2017
Archived on: Fri Jun 30 23:00:04 EDT 2017

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...