Posted under Uncategorized

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

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

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

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

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

    blogs.unimelb.edu.au/logic/2016/02/01/recent-work-by-melbourne-logicians

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

    blogs.unimelb.edu.au/logic/2015/12/02/logic-workshop-2015

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

    blogs.unimelb.edu.au/logic/2015/11/05/intro-to-linear-logic

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

    blogs.unimelb.edu.au/logic/2015/11/05/nasslli-2016

  9. When too much logic is barely enough…

    Our semi-regular logic festival looks like it’s outgrowing one day and is becoming two. Keep December 10 and 11 free in your diaries for our end-of-year logic workshop. …

    blogs.unimelb.edu.au/logic/2015/10/28/when-too-much-logic-is-barely-enough

Number of posts found: 19