From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4376 Path: news.gmane.org!not-for-mail From: ruy@cin.ufpe.br Newsgroups: gmane.science.mathematics.categories Subject: WoLLIC 2008 - Call for Participation Date: Sun, 27 Apr 2008 12:49:28 -0300 (BRT) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241019906 13011 80.91.229.2 (29 Apr 2009 15:45:06 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:45:06 +0000 (UTC) To: wollic@cin.ufpe.br Original-X-From: rrosebru@mta.ca Mon Apr 28 18:22:27 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 28 Apr 2008 18:22:27 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Jqaab-0004i9-Q6 for categories-list@mta.ca; Mon, 28 Apr 2008 18:08:45 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 25 Original-Lines: 185 Xref: news.gmane.org gmane.science.mathematics.categories:4376 Archived-At: [** sincere apologies for duplicates **] Call for Participation 15th Workshop on Logic, Language, Information and Computation (WoLLIC 2008) http://wollic.org/wollic2008/ Heriot-Watt University Edinburgh, Scotland July 1-4, 2008 >>>>>> SPECIAL: There will be a screening of George Csicsery's "JULIA ROBINSON AND HILBERT'S TENTH PROBLEM" http://zalafilms.com/films/juliarobinson.html with kind permission of the film director WoLLIC is an annual international forum on inter-disciplinary resear= ch involving formal logic, computing and programming theory, and natura= l language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Fifteenth WoLLIC will be held in the campus of Heriot-Watt Univ, Edinburgh, Scotland, from July 1 to July 4, 2008. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the European 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). SCIENTIFIC PROGRAMME Research contributions will be presented on all pertinent subjects, with particular emphasis in cross-disciplinary topics: foundations o= f computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. INVITED SPEAKERS Olivier Danvy (BRICS) Anuj Dawar (Cambridge, UK) Makoto Kanazawa (Nat Inst of Informatics, Japan) Sam Lomonaco (U Maryland Baltimore) Mark Steedman (Edinburgh U) Henry Towsner (CMU) Nikolay Vereshchagin (Moscow) PROGRAMME COMMITTEE Lev Beklemishev (Utrecht) Eli Ben-Sasson (Technion) Xavier Caicedo (U Los Andes, Colombia) Mary Dalrymple (Oxford) Martin Escardo (Birmingham) Wilfrid Hodges (Queen Mary, U London) (Chair) Achim Jung (Birmingham) Louis Kauffman (Maths, U Ill at Chicago) Ulrich Kohlenbach (Darmstadt) Leonid Libkin (Edinburgh U) Giuseppe Longo (Ecole Normal Superieure, Paris) Michael Moortgat (Utrecht) Valeria de Paiva (PARC, USA) Andre Scedrov (Maths, U Penn) Valentin Shehtman (Inst for Information Transmission Problems, Mosco= w) Joe Wells (Heriot-Watt U, Scotland) ORGANISING COMMITTEE Mauricio Ayala-Rincon (U Brasilia, Brazil) Fairouz Kamareddine (Heriot-Watt U, Scotland, co-chair) Anjolina de Oliveira (U Fed Pernambuco, Brazil) Ruy de Queiroz (U Fed Pernambuco, Brazil, co-chair) STEERING COMMITTEE S. Abramsky, J. van Benthem, J. Halpern, W. Hodges, D. Leivant, A. Macintyre, G. Mints, R. de Queiroz WEB PAGE wollic.org/wollic2008/ INVITED TALKS Inter-Deriving Semantic Artifacts for Object-Oriented Programming Olivier Danvy and Jaco Johannsen On the Descriptive Complexity of Linear Algebra Anuj Dawar Talks on Quantum Computing Sam Lomonaco On game semantics of the affine and intuitionistic logics Ilya Mezhirov and Nikolay Vereshchagin CONTRIBUTED TALKS Conjunctive Grammars and Alternating Pushdown Automata Tamar Aizikowitz and Michael Kaminski Expressive Power and Decidability for Memory Logics Carlos Areces, Diego Figueira, Santiago Figueira and Sergio Mera Reasoning with Uncertainty by Nmatrix-Metric Semantics Ofer Arieli and Anna Zamansky A Propositional Dynamic Logic for CCS Programs Mario Benevides and Luis Menasche Schechter Towards Ontology Evolution in Physics Alan Bundy and Michael Chan Interval Additive Generators of Interval T-Norms Gracaliz Dimuro, Benjamin Bedregal, Renata Reiser and Regivan Nunes PDL as a Logic of Belief Revision Jan van Eijck and Yanjing Wang Time Complexity and Convergence Analysis of Domain Theoretic Picard Method Amin Farjudian and Michal Konecny Matching and Alpha-Equivalence for Nominal Terms with Variables and Permutations Christophe Calves and Maribel Fernandez On the formal semantics of IF-like logics Santiago Figueira, Daniel Gorin and Rafael Grimson On a graph calculus for algebras of relations Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso and Petruci= o Viana One-and-a-halfth order terms: Curry-Howard and incomplete derivation= s Murdoch Gabbay and Dominic Mulligan Labelled calculi for Lukasiewicz logics Didier Galmiche and Yakoub Salhi On Characteristic Constants of Theories Defined by Kolmogorov Comple= xity Shingo Ibuka, Makoto Kikuchi and Hirotaka Kikyo An infinitely-often one-way function based on an average-case assump= tion Edward Hirsch and Dmitry Itsykson Adversary lower bounds for nonadaptive quantum algorithms Pascal Koiran, Juergen Landes Natacha Portier and Penghui Yao On Second-Order Monadic Groupoidal Quantifiers Juha Kontinen and Heribert Vollmer Using alpha-CTL to specify complex planning goals Silvio Lago Pereira and Leliane Nunes de Barros Hyperintensional Questions Carl Pollard Inference Processes for Quantified Predicate Knowledge Jeff Paris and Soroush Rafiee Rad Skolem theory and Generalized Quantifiers Livio Robaldo ---