Participants in ASUBL5

Participant
?		 Institution name
 Abstract title
?
Dr Marta Bilkova Institute of Computer Science, Czech Academy of Sciences Substructural Epistemic Logic for Skeptical Agents
Prof Martin Bunder University of Wollongong Abstract versions of Godel's In completeness and Tarski's Undefinability Theorems
Dr Petr Cintula Institute of Computer Science, Czech Academy of Sciences Skolemization in Substructural Logics
Prof Brian Davey La Trobe University TBA
Prof Chris Fermüller TU Vienna From truth-functional to subtructural logics via semantic games
Dr Rohan French Monash University -
Miss Asha Gair La Trobe University -
Mrs Charles Gray La Trobe University -
Dr Miroslav Haviar M Bel University TiRS graphs and TiRS frames: a new setting for duals of canonical extensions
Dr Katarzyna Idziak Jagiellonian University -
Dr Tomasz Kowalski La Trobe University tba
Dr Jan Kuhr Palacky University Olomouc TBA
Dr Antonio Ledda University of Cagliari Projectable l-groups and algebras of logic: categorical and algebraic connections
Dr Carles Noguera Institute of Information Theory and Automation Characterization of infinitary semilinear logics
Prof Hiroakira Ono Japan Advanced Institute of Science and Technology TBA
Prof Francesco Paoli University of Cagliari Multiset consequence relation
Dr Jane Pitkethly La Trobe University -
Dr Norbert Preining Japan Advanced Institute of Science and Technology Hyper-natural deduction system with normalization
Prof Greg Restall The University of Melbourne Remarks on relevant arithmetics
Dr John Slaney Australian National University What is Meyer's "single variable arrow fragment of E" problem?
Dr Christopher Taylor La Trobe University Discriminator Varieties of Double-Heyting Algebras
Dr Zach Weber University of Otago Paraconsistent arithmetic without contraction