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