Computer Science Logic: 24th International Workshop, Csl 2010, 19th Annual Conference of the Eacsl, Brno, Czech Republic, August 23-27, 2010, Proceedings von Dawar, Anuj (Editor): Brand New Paperback (2010)

Beschreibung

548 pages. 9.25x6.00x1.25 inches. In Stock.

Bestandsnummer des Verk�ufers x-364215204X

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Computer Science Logic: 24th International Workshop, Csl 2010, 19th Annual Conference of the Eacsl, Brno, Czech Republic, August 23-27, 2010, Proceedings
Verlag: Springer-Verlag New York Inc
Erscheinungsjahr: 2010
Sprache: Englisch
ISBN-10: 364215204X
ISBN-13: 9783642152047
Einband: Paperback
Zustand: Brand New

�ber diesen Titel

Inhaltsangabe

The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2010, was held in Brno (Czech Republic), August 23-27, 2010. The conference started as a series of international workshops on Computer S- ence Logic, and then at its sixth meeting became the Annual Conference of the EACSL. This conference was the 24th meeting and 19th EACSL conference; it was organized at the Faculty of Informatics, Masaryk University, Brno. In 2010, CSL and the 35th International Symposium on Mathematical Fo- dations of Computer Science (MFCS 2010)were federated and organizedin p- allel at the same place. The technical program and proceedings of MFCS 2010 andCSL2010werepreparedindependently. The federatedMFCSandCSL 2010 conference had ?ve common plenary sessions and common social events for all participants. The common plenary speakers were David Basin (Zur .. ich), Herbert Edelsbrunner(Klosterneuburg),ErichGrad .. el(Aachen),BojanMohar(Burnaby, Ljubljana), and Joseph Sifakis (Grenoble). Invited papers by David Basin and ErichGr. adelwereincludedintheproceedingsofCSL.Inaddition,CSL2010had ?ve invited speakers, namely, Peter O'Hearn (London), Jan Krajicek (Prague), Andrei Krokhin (Durham), Andrey Rybalchenko (Munich), and Viktor Kuncak (Lausanne).

Rese�a del editor

The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2010, was held in Brno (Czech Republic), August 23-27, 2010. The conference started as a series of international workshops on Computer S- ence Logic, and then at its sixth meeting became the Annual Conference of the EACSL. This conference was the 24th meeting and 19th EACSL conference; it was organized at the Faculty of Informatics, Masaryk University, Brno. In 2010, CSL and the 35th International Symposium on Mathematical Fo- dations of Computer Science (MFCS 2010)were federated and organizedin p- allel at the same place. The technical program and proceedings of MFCS 2010 andCSL2010werepreparedindependently. The federatedMFCSandCSL 2010 conference had ?ve common plenary sessions and common social events for all participants. The common plenary speakers were David Basin (Zur .. ich), Herbert Edelsbrunner(Klosterneuburg),ErichGrad .. el(Aachen),BojanMohar(Burnaby, Ljubljana), and Joseph Sifakis (Grenoble). Invited papers by David Basin and ErichGr. adelwereincludedintheproceedingsofCSL.Inaddition,CSL2010had ?ve invited speakers, namely, Peter O'Hearn (London), Jan Krajicek (Prague), Andrei Krokhin (Durham), Andrey Rybalchenko (Munich), and Viktor Kuncak (Lausanne).

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.