• Shawn

    Postdoctoral fellow at the University of Melbourne, SHAPS on the ARC Project Meaning in Action with Prof. Greg Restall.

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. Recent work by Melbourne logicians

    This instalment of “Recent work” comprises work by Lloyd Humberstone (Monash), Shawn Standefer (Melbourne), Jake Chandler (La Trobe), and Greg Restall (Melbourne).  Some of these papers are not …

    blogs.unimelb.edu.au/logic/2016/03/15/recent-work-by-melbourne-logicians-2

Number of posts found: 15