AAL 2016

The Australasian Association for Logic will hold its annual conference at La Trobe City Campus in Melbourne from June 30 to July 2, 2016.

The keynote address at the conference will be given by Dr. Sara L. Uckelman (Durham University).

We invite submission of abstracts in any area of logic, broadly construed. To submit, send an anonymized short abstract (≤2 pages) and title to aalmelb2016@gmail.com with the subject “AAL 2016” by the end of Sunday, April 3. Decisions will be sent out mid-April. We would like to encourage submissions from members of groups that are underrepresented in logic.

Please email aalmelb2016@gmail.com if you have any questions.

Registration: Please pay the appropriate fee ($70 full/$10 concession) at TryBooking.

Venue information (Updated): On June 30 and July 1, the conference will be held in the Teaching Room at La Trobe City Campus,  located in Melbourne’s Central Business District (CBD) on the 20th floor of 360 Collins Street, Melbourne VIC 3000 (map). On July 2, the conference will be in Old Physics G16 at the University of Melbourne, Parkville VIC 3010 (map).

Abstracts: They are now available.

Local organisers: Tomasz Kowalski (La Trobe), Greg Restall (Melbourne), and Shawn Standefer (Melbourne).

Registration fee: $70 (for people with full-time positions) or $10 (for grad students, retirees, and people without full-time positions).

Where to stay: There are many hotels in the CBD area, from $100 per night and up. Hotel Ibis Budget and Hotel 353 are right around the corner from the conference venue. There are some hostels, such as Greenhouse Backpacker and United Backpackers, nearby as well. Within the CBD trams are free, so getting a hotel further away from the venue should not be too inconvenient. Almost all major tram lines go through the CBD, so one could get a place on AirBnB in, e.g., in Carlton or Brunswick  near either Lygon St, Nicholson St, or Sydney Rd, and take the tram in without much trouble. Please email if you have questions about lodgings.

Adjoining events: The 2016 Australasian Association for Philosophy Conference will happen at Monash University Caulfield right after the conference.

Schedule:
Thursday, June 30
9:00-9:45   Fusco   Factoring Disjunction out of Deontic Modal Puzzles
9:45-10:30   Cresswell   Modal Predicate S5 – A Survey
10:30-11:00   Coffee
11:00-11:45   Girard   Modal Logic in Paraconsistent Metatheory
11:45-12:30   Clark-Younger   Logical Omniscience and the Logic of Questions
12:30-2:00   Lunch
2:00-2:45   Beall   Report on life without detachment
2:45-3:30   Nolan   Reflections on Routley’s Ultralogic Program
3:30-4:00   Coffee
4:00-4:45   Mares   Entailment Logics
4:45-5:30   Brady   Some Concerns Regarding Ternary-Relation Semantics and Truth-Theoretic Semantics in General
5:30-6:00   Short break
6:00-7:30   Uckelman   Why should we care about history of logic?
7:30   Regroup for drinks and dinner

Friday, July 1
9:00-9:45   Murfet   Remarks on linear logic and deep learning
9:45-10:30   Caret   Prospects for Non-reflexivity
10:30-11:00   Coffee
11:00-11:45  Tedder   Pluralism and Consequence in the Routley-Meyer Framework
11:45-12:30   Ripley   Toward naive type theories
12:30-2:00   Lunch
2:00-2:45   Humberstone   Puzzling Aspects of Logical Independence
2:45-3:30   French   A Simple Sequent Calculus for Angell’s Logic of Analytic Containment
3:30-4:00   Coffee
4:00-4:45   Standefer   Non-triviality for sequent systems for naive truth
4:45-5:30   Restall   Terms for Classical Sequents: Proof Invariants and Strong Normalisation
5:30-7:00   Drinks
7 onwards   Conference dinner

Saturday, July 2
10:30-11:00   Coffee
11:00-11:45  Kowalski   Distributive lattices with an order-inverting operation
11:45-12:30   Chandler   Extending the Harper Identity
12:30-2:00   Lunch
2:00-2:45   Bunder A History of Set Theory
2:45-3:30   AAL Annual General Meeting