• Shawn

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

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


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


  3. Recent work by Melbourne logicians

    There are frequent logic talks in Melbourne. Melbourne logicians also publish a fair bit. We’ve got a record of talks, both by locals and visitors, but nothing about …


  4. Logic Workshop 2015

    We’re closing out the year with a two-day Logic Workshop, running December 10-11. Talks will be in Old Quad G14 and will start at 11 each day. The tentative …


  5. Intro to linear logic

    Dr. Jen Davoren (Melbourne) wrote up a *really* nice set of notes on linear logic, and she has graciously said that we can put it online. So, enjoy …


  6. NASSLLI 2016

    Greg and I will be teaching a week-long course at NASSLLI 2016 at Rutgers University, July 9-16. The course is titled “Proof Theory: Logical and Philosophical Aspects”. We’ll …


  7. Introduction

    There is a lot of activity in logic at the University of Melbourne. We have set up this website to catalog what is happening. On the …


Number of posts found: 17