30 Jun - 2 Jul 2016
Melbourne, Australia
Australasian Association for Logic Conference Melbourne June 30-July 2 http://blogs.unimelb.edu.au/logic/aal-2016/ The Australasian Association for Logic will hold its 2016 conference in Melbourne from June 30 to July 2. The keynote speaker is Dr. Sara L. Uckelman of Durham University. The conference venue is La Trobe City Campus, located in the middle of Melbourne?s CBD. All are welcome to attend the conference, although there is a registration fee: $70 for folks with full-time positions, and $10 for grad students, retirees, and folks with part-time positions. The schedule is below. If you have any questions, please see the conference website or contact the conference organizers at aalmelb2016@gmail.com. Thursday, June 30 9:00-9:45 Rini AN Prior: Before and After He Met Modern Formal Logic 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? Friday, July 1 9:00-9:45 Rossi Irreflexive Validity 9:45-10:30 Caret Prospects for Non-reflexivity 10:30-11:00 Coffee 11:00-11:45 Badia On Amalgamation In The Model Theory Of Fuzzy Predicate Logics 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 Saturday, July 2 9:45-10:30 Murfet Remarks on linear logic and deep learning 10:30-11:00 Coffee 11:00-11:45 Slater The (Epsilon) Logic of Appearance 11:45-12:30 Chandler Extending the Harper Identity 12:30-2:00 Lunch 2:00-2:45 Kowalski Distributive lattices with an order-inverting operation 2:45-3:30 Meadows Diagonal Theory 3:30-3:45 Coffee 3:45-4:30 AAL board meeting Best, Shawn Standefer University of Melbourne -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam