Dubrovnik, 7 min.
Robert J. Aumann, winner of the 2005 Nobel Prize in Economic Sciences,
invited lecturer at LICS 2012 in Dubrovnik
invited lecturer at LICS 2012 in Dubrovnik
| 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. 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:
Associated workshops on Sunday, June 24, and on Friday, June 29. |
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
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:
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 Kotruljeviae, 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 Sorgojeviae, 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 Ruder Bo1koviae, 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. godi1nji simpozij „Logika u raeunalnoj znanosti“ (LICS) odr 3/4 at aee se od 25. do 28. lipnja 2012. na Sveueili1tu u Dubrovniku. LICS je medunarodni forum s temama koje povezuju raeunalne znanosti i matematieku logiku, priopaeeno je sa Sveueili1ta u Dubrovniku. Simpozij je privukao veliki broj priznatih struenjaka u ovim podruejima, a posebice treba istaknuti da aee uvodno predavanje odr 3/4 ati Robert J. Aumann, dobitnik Nobelove nagrade za ekonomiju 2005. godine. Predavanje je predvideno za ponedjeljak, 25. lipnja, u 9 sati, u sveueili1noj zgradi na adresi AEira Cariaea 4. Robert John Aumann roden je 8. lipnja 1930. godine, izraelsko-amerieki je matematiear i elan Amerieke akademije za znanosti. Profesor je pri Centru za proueavanje racionalnosti na Hebrew University of Jerusalem u Izraelu. Gostujuaei je profesor i na Stony Brook University i jedan je od osnivaea 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. Domaaein ovogodi1njeg simpozija je Odjel za elektrotehniku i raeunarstvo Sveueili1ta u Dubrovniku. Izvor www.unidu.hr |
Formated for CROWN by prof.dr. Darko (R)ubriniae
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!