[FOM] WoLLIC 2009 - Call for Participation

Thu Apr 16 14:00:43 EDT 2009

Call for Participation

16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009)
Tokyo, Japan
June 21-24, 2009
(SPECIAL: There will be a screening of George 
Csicsery's 
"<http://zalafilms.com/films/nisanumber.html>N is 
a Number: A Portrait of Paul Erdos", with kind permission of the film director)

<http://wollic.org>WoLLIC is an annual 
international forum on inter-disciplinary 
research involving formal logic, computing and 
programming theory, and natural language and 
reasoning.  Each meeting includes invited talks 
and tutorials as well as contributed papers.

<http://research.nii.ac.jp/wollic2009/>WoLLIC 
2009 will be held from June 21 through 24, 2009, 
in the 
<http://www.nii.ac.jp/index.php?action=pages_view_main&page_id=469&lang=english>National 
Center of Sciences, the building that houses the 
<http://www.nii.ac.jp/index.php?action=pages_view_main&page_id=59&lang=english>National 
Institute of Informatics in central Tokyo. It is 
jointly sponsored by the Association for Symbolic 
Logic (ASL), the Interest Group in Pure and 
Applied Logics (IGPL), the Association for Logic, 
Language and Information (FoLLI), the European 
Association for Theoretical Computer Science 
(EATCS), the Sociedade Brasileira de Computacao 
(SBC), and the Sociedade Brasileira de Logica (SBL).

The proceedings of WoLLIC 2009 will appear as 
Volume 5514 of the 
<http://www.springer.com/computer/lncs?SGWID=0-164-6-144181-0>FoLLI/LNAI 
subline of the Springer 
<http://www.springer.com/lncs>Lecture Notes in Computer Science.

Special Event
2009 will mark the 60-th anniversary of the 
publication of Paul Erdos' elementary proof of 
the Prime Number Theorem. WoLLIC will celebrate 
this by screening the documentary about Paul 
Erdos which was directed by George Csicsery 
"<http://zalafilms.com/films/nisanumber.html>N is 
a number - A Portrait of Paul Erdos".

Tutorial Lectures
Arnold Beckmann (Swansea University): Definable 
Search Problems in Bounded Arithmetic
Thomas Eiter (Vienna University of Technology): Reasoning Using Knots
Frank Wolter (University of Liverpool): From 
Mathematical Logic to Life Science Ontologies

Invited Talks
Arnold Beckmann (Swansea University): New 
Characterisations of Definable Search Problems
Carlos Caleiro (Technical University of Lisbon): 
Algebraic Valuations as Behavioral Logical Matrices
Thomas Eiter (Vienna University of Technology): 
Knot-Based Query Answering in Description Logic
Sylvain Salvati (INRIA Bordeaux - Sud 
Ouest/LaBRI): Recognizability in the Simply Typed Lambda-Calculus
Taisuke Sato (Tokyo Institute of Technology): 
Logic-Based Probabilistic Modeling
Frank Wolter (University of Liverpool): From 
Mathematical Logic to Life Science Ontologies

Contributed Papers
Sebastian Link: Spoilt for Choice: Full First-Order Hierarchical Decompositions
Hubie Chen and Omer Gimenez: On-the-fly Macros
Juha Kontinen and Ville Nurmi: Team Logic and Second-Order Logic
Juliana Kaizer Vizzotto, André Rauber Du Bois and 
Amr Sabry: The Arrow Calculus as a Quantum Programming Language
Sara Miner More and Pavel Naumov: An Independence Relation for Sets of Secrets
Hugo Herbelin and Gyesik Lee: Forcing-based 
cut-elimination for Gentzen-style intuitionistic sequent calculus
Alexandru Baltag and Sonja Smets: Learning by 
Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
Matthias Baaz, Agata Ciabattoni and Norbert 
Preining: SAT in Monadic Gödel Logics: a 
borderline between decidability and undecidability
Philippe de Groote, Sylvain Pogodalla and Carl 
Pollard: On the Syntax-Semantics Interface: from 
Convergent Grammar to Abstract Categorial Grammar
Alain Lecomte and Myriam Quatrini: Ludics and its 
Applications to Natural Language Semantics
Bernhard Heinemann: Observational Effort and Formally Open Mappings
Bauer Kerstin, Raffaella Gentilini and Klaus 
Schneider: Property Driven Three Valued Model Checking on Hybrid Automata
Gleifer Alves, Anjolina Grisi de Oliveira and Ruy 
de Queiroz: Transformations via geometric 
perspective techniques augmented with cycles normalization
Linda Postniece: Deep inference in bi-intuitionistic logic
Katsuhiko Sano: Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
Yoshihiro Maruyama: A Duality for algebras of Lattice-Valued Modal Logic
Joao Marcos and Carlos Caleiro: Classic-like 
analytic tableaux for finite-valued logics
Benjamin Rossman: Ehrenfeucht-Fraisse Games on Random Structures
Majid Alizadeh: Completions of basic algebras
Francesco Belardinelli and Alessio Lomuscio: 
First-Order Linear-time Epistemic Logic with 
Group Knowledge: An Axiomatisation of the Monodic Fragment
Cristian Prisacariu and Gerardo Schneider: CL: An 
Action-based Logic for Reasoning about Contracts
Ren-June Wang: Knowledge, Time, and Logical Omniscience
Henning Christiansen and Veronica Dahl: Abductive Logic Grammars
Gianluca Amato and Francesca Scozzari: 
Observational Completeness on Abstract Interpretation
Juan Carlos Nieves, Mauricio Osorio and Claudia 
Zepeda: Stratified Argumentation Semantics: An 
Extension-based Argumentation Semantics based on Stratified Minimal Models

Book Exhibition
The following publishers are expected to be 
exhibiting various books from their catalogue, 
prospectuses, journal samples, etc., and there 
will be a chance to order items at promotional 
prices: The MIT Press, Springer-Verlag, A K 
Peters, Kluwer Acad. Pub.,Cambridge Univ. Press, 
CSLI Publications (Stanford Univ), Oxford Univ. Press, World Scientific.
It is likely that a few other international 
publishers will also take part in the book exhibit.

Program Committee
<http://kurt.scitec.kobe-u.ac.jp/%7Earai/>Toshiyasu 
Arai (Kobe U, Japan), 
<http://www.logic.at/staff/baaz/>Matthias Baaz 
(Tech U Wien), 
<http://web.comlab.ox.ac.uk/people/Alexandru.Baltag/>Alexandru 
Baltag (Oxford U), 
<http://www.mat.ub.edu/%7Ejmfont/>Josep Maria 
Font (U Barcelona), 
<http://homes.dsi.unimi.it/%7Eghilardi/>Silvio 
Ghilardi (U Milano), 
<http://research.nii.ac.jp/%7Eki/>Katsumi Inoue 
(Nat Inst of Informatics, Japan), 
<http://wwwhomes.uni-bielefeld.de/mkracht/index-en.html>Marcus 
Kracht (U Bielefeld), 
<http://www.jaist.ac.jp/profiles/info_e.php?profile_id=35&syozoku=24>Hiroakira 
Ono (JAIST, Japan) (Chair), 
<http://www.math.is.tohoku.ac.jp/int/lab/ms3-e.html>Masanao 
Ozawa (Nagoya U), 
<http://users.rsise.anu.edu.au/%7Ejks/>John 
Slaney (Australian Nat U), 
<http://www.cogsci.ed.ac.uk/%7Esteedman/>Mark 
Steedman (Edinburgh U), 
<http://www.kr.tuwien.ac.at/staff/tompits/>Hans Tompits (Tech U Wien).

Organising Committee
<http://research.nii.ac.jp/%7Ekanazawa/>Makoto 
Kanazawa (Nat Inst of Informatics, Japan, 
co-chair), 
<http://www.cin.ufpe.br/%7Eago>Anjolina de 
Oliveira (U Fed Pernambuco, Brazil), 
<http://www.cin.ufpe.br/%7Eruy>Ruy de Queiroz (U 
Fed Pernambuco, Brazil, co-chair), 
<http://research.nii.ac.jp/%7Eksatoh/>Ken Satoh 
(Nat Inst of Informatics, Japan)

Steering Committee
<http://www.comlab.ox.ac.uk/people/samson.abramsky/>Samson 
Abramsky, 
<http://staff.science.uva.nl/%7Ejohan/>Johan van 
Benthem, 
<http://www.cs.cornell.edu/home/halpern/>Joe 
Halpern, 
<http://www.maths.qmul.ac.uk/%7Ewilfrid/>Wilfrid 
Hodges, 
<http://www.cs.indiana.edu/%7Eleivant/>Daniel 
Leivant, 
<http://www.maths.qmul.ac.uk/personnel/researchstaff/macintyre.shtml>Angus 
Macintyre, 
<http://www-philosophy.stanford.edu/fss/gm.html>Grigori 
Mints, <http://www.cin.ufpe.br/%7Eruy>Ruy de Queiroz

Web Page
<http://research.nii.ac.jp/wollic2009/>http://research.nii.ac.jp/wollic2009/

--  