Published on 06/22/2012

The Logic and Computer Symposium - LICS is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2012 will be hosted by the Department for Electrical Engineering and Computing at the University of Dubrovnik in Dubrovnik, Croatia, from June 25th to 28th, 2012. There will be an invited lecture by Robert J. Aumann, winner of the 2005 Nobel Prize in Economic Sciences on the photo, and a plenary session in honor of Alan Turing.

LICS 2012 hosted by the University of Dubrovnik, in Dubrovnik, Croatia, from June 25th to 28th, 2012.

Dubrovnik, 7 min.

Robert J. Aumann, winner of the 2005 Nobel Prize in Economic Sciences,
invited lecturer at LICS 2012 in Dubrovnik

Highlights

Starting 2012, LICS is jointly organized by ACM and IEEE, and is cosponsored by ACM SIGACT and the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.

In response to concerns about LICS becoming overly selective with a too-narrow technical focus, the program committee will employ a merit-based selection with no a priori limit on the number of accepted papers.

LICS 2012 will continue the tradition of pre-conference tutorials that was initiated in 2011. This year, Jan Willem Klop will give a tutorial on term rewriting systems and Andre Platzer will give a tutorial on logics of dynamical systems.

Special Events and Invited Lectures: There will be an invited lecture by Robert J. Aumann, winner of the 2005 Nobel Prize in Economic Sciences, and a plenary session in honor of Alan Turing on the occasion of his centenary, with talks by Robert L. Constable, E. Allen Emerson (co-winner of 2008 A. M. Turing Award), Joan Feigenbaum, and Leonid Levin.

LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

LICS 2012 will be hosted by the Department for Electrical Engineering and Computing at the University of Dubrovnik in Dubrovnik, Croatia, from June 25th to 28th, 2012.

The Sunday evening reception will be held on Sunday, June 24, 6:30 - 8:30 pm in Hotel Valamar Lacroma Dubrovnik, Iva Dulcica 34, 20000 Dubrovnik, Croatia.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on
topics that fit under that rubric. Suggested, but not exclusive, topics of interest include:

automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security, rewriting, type systems and type theory, and verification.

Special Events:

Invited plenary lecture by ROBERT J. AUMANN, winner of the 2005 Nobel Prize in Economic Sciences.
Two plenary sessions in honor of Alan Turing on the occasion of his centenary, featuring talks by ROBERT L. CONSTABLE, E. ALLEN EMERSON, JOAN FEIGENBAUM, and LEONID LEVIN.
Pre-conference tutorials on Sunday, June 24, by JAN WILLEM KLOP (rewriting systems) and ANDR´E PLATZER (logic of dynamical systems).

Associated workshops on Sunday, June 24, and on Friday, June 29.

The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing and by ACM SIGACT, in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science.

Program Chair:
Nachum Dershowitz, Tel Aviv University

Program Committee:
Christel Baier, Dresden Univ. of Technology
Lev Beklemishev, Steklov Inst. of Mathematics
Andreas Blass, Univ. of Michigan
Manuel Bodirsky, E´cole Polytechnique
Mikolaj Boja´nczyk, Warsaw Univ.
Ahmed Bouajjani, Univ. Paris Diderot
Patricia Bouyer-Decitre, CNRS
Andrei Bulatov, Simon Fraser Univ.
Hubert Comon-Lundh, ENS Cachan
Anuj Dawar, Univ. of Cambridge
Gilles Dowek, INRIA
Mart´ın Escard´o, Univ. of Birmingham
Maribel Fern´andez, King’s College London
Rob van Glabbeek, NICTA
Rosalie Iemhoff, Utrecht Univ.
Neil Immerman, UMass, Amherst
Max Kanovich, Queen Mary, Univ. of London
Naoki Kobayashi, Tohoku Univ.
Orna Kupferman, Hebrew Univ.
Marta Kwiatkowska, Univ. of Oxford
Olivier Laurent, CNRS – ENS Lyon
Richard Mayr, Univ. of Edinburgh
Andrzej Murawski, Univ. of Leicester
David Plaisted, Univ. North Carolina, Chapel Hill
Davide Sangiorgi, Univ. of Bologna

Workshops Chairs:
Adriana Compagnoni, Stevens Inst. of Technology
Maribel Fern´andez, King’s College London

Publicity Chairs:
Stephan Kreutzer, Berlin Inst. of Technology
Andrzej Murawski, Univ. of Leicester

Treasurer:
Mart´ın Escard´o, Univ. of Birmingham

General Chair:
Rajeev Alur, Univ. of Pennsylvania

Conference Chairs:
Vlatko Lipovac, Univ. of Dubrovnik
Andre Scedrov, Univ. of Pennsylvania
(Professor ©èedrov studied mathematics at the Univeristy of Zagreb, Croatia)

Organizing Committee:
M. Abadi, R. Alur (chair), F. Baader, P. Beame, S. Buss, E. Clarke, A. Compagnoni, N. Dershowitz, M. Escard´o, M. Fern´andez, L. Fortnow, J. Giesl, M. Grohe, J.-P. Jouannaud, P. Kolaitis, S. Kreutzer, B.
Larose, V. Lipovac, J. Makowsky, B. Monien, A. Murawski, A. Scedrov, P. Scott, M. Valeriote

Advisory Board:
M. Abadi, S. Abramsky, Y. Gurevich, T. Henzinger, C. Kirchner, P. Kolaitis, D. Kozen, U. Martin, J. Mitchell, L. Ong, L. Pacholski, P. Panangaden, G. Plotkin, A. Scedrov, M. Vardi, G. Winskel

Source http://informatik.hu-berlin.de/lics/lics12

Alan Turing, one of the founders of modern Computer Science

The City of Dubrovnik

Twenty-Seventh Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2012)
June 2528, 2012, Dubrovnik, Croatia

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2012 will be hosted by the University of Dubrovnik, in Dubrovnik, Croatia, from June 25th to 28th, 2012.

LICS 2012 Accepted Papers

Parosh Abdulla, Mohamed Faouzi Atig and Jari Stenman. Dense-Timed Pushdown Automata
Jiøí Adámek, Nathan Bowler, Paul Blain Levy and Stefan Milius. Coproducts of Monads on Set
Manindra Agrawal, S. Akshay, Blaise Genest and P. S. Thiagarajan. Approximate Verification of the Symbolic Dynamics of Markov Chains
Rajeev Alur, Emmanuel Filiot and Ashutosh Trivedi. Regular Transformations of Infinite Strings
Rajeev Alur, Emmanuel Filiot and Ashutosh Trivedi. Regular Transformations of Infinite Strings
Robert Atkey. The Semantics of Parsing with Semantic Actions
Albert Atserias, Moritz Müller and Sergi Oliva. Proof Complexity of Relativized Statements
Arnon Avron, Beata Konikowska and Anna Zamansky. Modular Construction of Cut-Free Sequent Calculi for Paraconsistent Logics
Steve Awodey, Nicola Gambino and Kristina Sojakova. Inductive Types in Homotopy Type Theory
David Baelde and Gopalan Nadathur. Combining Deduction Modulo and Logics of Fixed-Point Definitions
Pablo Barceló, Diego Figueira and Leonid Libkin. Graph Logics with Rational Relations and the Generalized Intersection Problem
Libor Barto, Marcin Kozik and Ross Willard. Near Unanimity Constraints have Bounded Pathwidth Duality
Christoph Berkholz. Lower Bounds for Existential Pebble Games and k-Consistency Tests
Jean-Philippe Bernardy and Guilhem Moulin. A Computational Interpretation of Parametricity
Daniel Bundala, Joel Ouaknine and James Worrell. On the Magnitude of Completeness Thresholds in Bounded Model Checking
Arnaud Carayol and Olivier Serre. Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection
Krishnendu Chatterjee and Laurent Doyen. Partial-Observation Stochastic Games: How to Win when Belief Fails
Krishnendu Chatterjee and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words
Krishnendu Chatterjee and Yaron Velner. Mean-Payoff Pushdown Games
Hubie Chen and Victor Dalmau. Decomposing Quantified Conjunctive (or Disjunctive) Formulas
Hubie Chen and Moritz Müller. An Algebraic Preservation Theorem for ℵ0-categorical Quantified Constraint Satisfaction
Yijia Chen and Jörg Flum. On the Ordered Conjecture
Pierre Clairambault, Julian Gutierrez and Glynn Winskel. The Winning Ways of Concurrent Games
Bob Coecke, Ross Duncan, Aleks Kissinger and Quanlong Wang. Strong Complementarity and Non-locality in Categorical Quantum Mechanics
Carles Creus, Adrià Gascón, Guillem Godoy and Lander Ramos. The HOM Problem is EXPTIME-complete
Michael Elberfeld, Martin Grohe and Till Tantau. Where First-Order and Monadic Second-Order Logic Coincide
Javier Esparza, Pierre Ganty and Rupak Majumdar. A Perfect Model for Bounded Verification
Nathanaël Fijalkow, Hugo Gimbert and Youssouf Oualhadj. Deciding the Value 1 Problem of Probabilistic Leaktight Automata
Deepak Garg, Valerio Genovese and Sara Negri. Countermodels from Sequent Calculi in Multi-Modal Logics
Sicun Gao, Jeremy Avigad and Edmund Clarke. Delta-Decidability over the Reals
Serge Grigorieff and Pierre Valarcher. Functionals using Bounded Information and the Dynamics of Algorithms
Stefan Göller, Jean Christoph Jung and Markus Lohrey. The Complexity of Decomposing Modal and First-Order Theories
Clemens Grabmayer, Joerg Endrullis, Dimitri Hendriks, Jan Willem Klop and Lawrence S. Moss. Automatic Sequences and Zip-Specifications
Serge Haddad, Sylvain Schmitz and Philippe Schnoebelen. The Ordinal-Recursive Complexity of Timed-Arc Petri Nets, Data Nets, and Other Enriched Nets
Hugo Herbelin. A Constructive Proof of the Axiom of Dependent Choice, Compatible with Classical Logic
Frédéric Herbreteau, B. Srivathsan and Igor Walukiewicz. Better Abstractions for Timed Automata
Naohiko Hoshino. Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects
Guilhem Jaber, Nicolas Tabareau and Matthieu Sozeau. Extending Type Theory with Forcing
Sanjay Jain, Alexei Miasnikov and Frank Stephan. The Complexity of Verbal Languages over Groups
Petr Jancar. Bisimulation Equivalence for First-Order Grammars
Jean-Baptiste Jeannin and Dexter Kozen. Capsules and Separation Logic
Emanuel Kieronski, Jakub Michaliszyn, Ian Pratt-Hartmann and Lidia Tendera. Two-Variable First-Order Logic with Equivalence Closure
Anvesh Komuravelli, Corina S. Pasareanu and Edmund M. Clarke. Learning Probabilistic Systems from Tree Samples
Andreas Krebs and A. V. Sreejith. Non-definability of Languages by Generalized First-Order Formulas over (N,+)
Stephan Kreutzer, Sebastian Siebertz and Viktor Engelmann. Model-Checking on Ordered Structures
Annabelle McIver, Larissa Meinicke and Carroll Morgan. A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism
Damiano Mazza. An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus
Paul-André Melliès. Game Semantics in String Diagrams
Jakub Michaliszyn and Jan Otop. Decidable Elementary Modal Logics
Benoît Monin and Laurent Bienvenu. von Neumann's Biased Coin Revisited
Sebastian Muller and Iddo Tzameret. Short Propositional Refutations for Dense Random 3CNF Formulas
Vivek Nigam. On the Complexity of Linear Authorization Logics
Pawel Parys. On the Significance of the Collapse Operation
Adrien Piérard and Eijiro Sumii. A Higher-Order Distributed Calculus with Name Creation
Andre Platzer. The Complete Proof Theory of Hybrid Systems
Sasha Rubin and Alexander Rabinovich. Interpetations in Scattered Trees
David Sabel and Manfred Schmidt-Schauss. Conservative Concurrency in Haskell
Peter Schuster. Induction in Algebra: A First Case Study
Hugh Steele and Andrea Schalk. Constructing Fully Complete Models for Multiplicative Linear Logic
Tony Tan. An Automata Model for Trees with Ordered Data Values
Dmitriy Traytel, Andrei Popescu and Jasmin Christian Blanchette. Foundational, Compositional (Co)Datatypes for Higher-Order Logic
Jamie Vicary. Higher Semantics of Quantum Protocols

Source www2.informatik.hu-berlin.de

The City of Dubrovnik

Algorithmics on Infinite State Systems 2012
(AISS 2012)

A satellite workshop of LICS 2012
June 29th, Dubrovnik (Croatia)

Electrical Engineering and Computing Department, University of Dubrovnik, Cira Carica 4, 20236 Dubrovnik, Room B01

The workshop provides the opportunity to assess recent scientific advances and exchange ideas on the algorithmic theory of infinite state systems. Infinite state systems arise in many areas of computer science. Typical examples are recursive programs, communicating systems with unbounded buffers and real time systems. Important algorithmic techniques dealing with infinite state systems include model checking, reachability and equivalence checking.

There are two main goals of the workshop:

Bringing together leading experts as well as young scientists interested in foundational research on infinite state systems in order to exchange their ideas.
Presenting the latest developments in the area of infinite state systems to a wider audience interested in computer science logic.

Source www.informatik.uni-bremen.de

Logo of the University of Dubrovnik

The University of Dubrovnik

The University of Dubrovnik is the “youngest” university in Croatia. It was established in 2003. on the foundations of a very long tradition which goes back to the 17th century, but also on decades of modern higher education. By its programs, its organisation and its technical equipment, the University of Dubrovnik can be stands among very modern educational institutions.

History

High education and scientific work have their roots in the distant past. This is particularly true of the maritime, the social and the natural sciences. For example, Beno Kotruljeviæ, of Dubrovnik, wrote four books in 1458 “About Commerce and a Perfect merchant”, published in Venice in 1573, which was the first work of its kind. There is also Nikola Sorgojeviæ, a citizen of the Dubrovnik Republic (Respublica Ragusii, 1358 – 1816), the first Croat who wrote a book about navigation (published in 1574). Jesuits founded “Collegium Ragusinum” in 1624, which was promulgated into a public institution of high learning where art and natural sciences were studied. That institution provided education for Ruðer Bo¹koviæ, the most eminent Croatian scientist and the founder of the dynamic theory of atoms, who continued his doctorate studies in Rome. The Dubrovnik Republic Senate allowed young aristocrats to study navigation and commerce and apply their professional knowledge when sailing out of the Adriatic Sea.

Source www.unidu.hr

Nobelovac Robert John Aumann dolazi u Dubrovnik

27. godi¹nji simpozij „Logika u raèunalnoj znanosti“ (LICS) odr¾at æe se od 25. do 28. lipnja 2012. na Sveuèili¹tu u Dubrovniku. LICS je meðunarodni forum s temama koje povezuju raèunalne znanosti i matematièku logiku, priopæeno je sa Sveuèili¹ta u Dubrovniku.

Simpozij je privukao veliki broj priznatih struènjaka u ovim podruèjima, a posebice treba istaknuti da æe uvodno predavanje odr¾ati Robert J. Aumann, dobitnik Nobelove nagrade za ekonomiju 2005. godine.

Predavanje je predviðeno za ponedjeljak, 25. lipnja, u 9 sati, u sveuèili¹noj zgradi na adresi Æira Cariæa 4.

Robert John Aumann roðen je 8. lipnja 1930. godine, izraelsko-amerièki je matematièar i èlan Amerièke akademije za znanosti. Profesor je pri Centru za prouèavanje racionalnosti na Hebrew University of Jerusalem u Izraelu. Gostujuæi je profesor i na Stony Brook University i jedan je od osnivaèa Centra za teoriju igara u ekonomiji na Stony Brook. Aumann je dobio Nobelovu nagradu za svoj rad na konfliktu i suradnji kroz analizu teorije igara.

Domaæin ovogodi¹njeg simpozija je Odjel za elektrotehniku i raèunarstvo Sveuèili¹ta u Dubrovniku.

Izvor www.unidu.hr

Formated for CROWN by prof.dr. Darko ®ubriniæ
Distributed by www.Croatia.org . This message is intended for Croatian Associations/Institutions and their Friends in Croatia and in the World. The opinions/articles expressed on this list do not reflect personal opinions of the moderator. If the reader of this message is not the intended recipient, please delete or destroy all copies of this communication and please, let us know!