Posted under Uncategorized

  1. Formal Philosophy Workshops

    Greg and I received a grant from the School of Historical and Philosophical Studies at The University of Melbourne to hold two Formal Philosophy Workshops with folks …

    blogs.unimelb.edu.au/logic/2017/10/31/formal-philosophy-workshops

  2. Resources on Arthur Prior

    On 7 April, Adriane Rini (Massey) gave a talk about Arthur Prior’s work before he discovered modern logic. There was a lot of interesting material in …

    blogs.unimelb.edu.au/logic/2017/04/09/resources-on-arthur-prior

  3. New to the community

    Recently, the Melbourne Logic community has grown a bit. Dr. Cathy Legg, now at Deakin, joins us, and two new postgrads at UniMelb, Toby Dinh and …

    blogs.unimelb.edu.au/logic/2017/03/14/new-to-the-community

  4. 2016 Retrospective

    There was a lot of logic activity in Melbourne this past year. Since we just had our final event of the year, I thought it’d be …

    blogs.unimelb.edu.au/logic/2016/12/20/2016-retrospective

  5. ANU Logic Summer School

    There will be a Logic Summer School at ANU December 5-16. I will be co-teaching Introduction to Proof Theory with Agata Ciabattoni (Technische Universität Wien) in the second week. …

    blogs.unimelb.edu.au/logic/2016/11/18/anu-logic-summer-school

  6. More events in 2016

    There are two more Logic Seminars lined up this year, but the logic fun doesn’t stop there. We will have two more events in December. On …

    blogs.unimelb.edu.au/logic/2016/10/30/more-events-in-2016

  7. Recent work by Melbourne logicians

    This instalment of “Recent work” features articles by Greg Restall and Rohan French, as well as a joint paper by Lloyd Humberstone and Tomasz Kowalski. Greg …

    blogs.unimelb.edu.au/logic/2016/10/25/recent-work-by-melbourne-logicians-4

  8. Proof Theory course at NASSLLI

    Next week, Greg and I will be presenting an intensive course on proof theory at NASSLLI 2016. The course is Proof Theory: Logical and Philosophical Aspects. …

    blogs.unimelb.edu.au/logic/2016/07/07/proof-theory-course-at-nasslli

  9. Recent work by Melbourne logicians

    This instalment of “Recent work” features a book by Lloyd Humberstone and two articles on paradoxes by Rohan French and Shawn Standefer. The publisher’s page for Humberstone’s …

    blogs.unimelb.edu.au/logic/2016/06/23/recent-work-by-melbourne-logicians-3

  10. Logic videos

    A few weeks ago, Dan Murfet (Melbourne) gave a talk on linear logic and complexity, which was a follow up on his December talk. He has …

    blogs.unimelb.edu.au/logic/2016/04/13/logic-videos

Number of posts found: 16