Posted under Uncategorized

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/logicvideos

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/recentworkbymelbournelogicians2

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/recentworkbymelbournelogicians

Logic Workshop 2015
We’re closing out the year with a twoday Logic Workshop, running December 1011. Talks will be in Old Quad G14 and will start at 11 each day. The tentative …
blogs.unimelb.edu.au/logic/2015/12/02/logicworkshop2015

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/introtolinearlogic

NASSLLI 2016
Greg and I will be teaching a weeklong course at NASSLLI 2016 at Rutgers University, July 916. The course is titled “Proof Theory: Logical and Philosophical Aspects”. We’ll …
blogs.unimelb.edu.au/logic/2015/11/05/nasslli2016

When too much logic is barely enough…
Our semiregular logic festival looks like it’s outgrowing one day and is becoming two. Keep December 10 and 11 free in your diaries for our endofyear logic workshop. …
blogs.unimelb.edu.au/logic/2015/10/28/whentoomuchlogicisbarelyenough
Number of posts found: 17