Articoli correlati a Computer Science Logic: 12th International Workshop,...

Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings: 1584 - Brossura

 
9783540659228: Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings: 1584
Brossura
ISBN 10: 3540659226 ISBN 13: 9783540659228
Casa editrice: Springer, 2008

Sinossi

The 1998Annual Conference of the EuropeanAssociation for Computer Science Logic, CSL 98, was held in Brno, Czech Republic, during August 24-28, 1998. CSL 98wasthe12thinaseriesofworkshopsandthe7thtobeheldasthe Annual Conference of the EACSL. The conference was organized at Masaryk University in Brno by the Faculty of Informatics in cooperation with universities in Aaachen, Caen, Haagen, Linz, Metz, Pisa, Szeged, Vienna, and other institutions. CSL 98 formed one part of a federated conferences event, the other part being MFCS 98, the 23rd Int- national Symposium on the Mathematical Foundations of Computer Science. This federated conferences event consisted of common plenary sessions, invited talks, several parallel technical programme tracks, a dozen satellite workshops organized in parallel, and tutorials. The Federated CSL/MFCS 98 Conferences event included 19 invited talks, four of them joint CSL/MFCS 98 talks (D. Harel, W. Maass, Y. Matiyasevic, and M. Yannakakis), four for CSL (P. Hajek, J. Mitchell, Th. Schwentick, and J. Tiuryn), and eleven for MFCS. Last but not least, two tutorials were organized by CSL on the day preceding the symposium on Inference Rules in Fragments of Arithmetic by Lev Beklemishev and on Proofs, Types, and Safe Mobile Code by Greg Morrisett. A total of 345 persons attended the Federated CSL/MFCS 98 Conference which was a great success. The program committee of CSL 98 selected 27 of 74 papers submitted for the conference.From the 27 papers selected for presentation,25 havebeen accepted, following the standard refereeeing procedure, for publication in the present p- ceedings. Three invited speakers submitted papers, that were likewise refereeed and accepted.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

The 1998Annual Conference of the EuropeanAssociation for Computer Science Logic, CSL¿98, was held in Brno, Czech Republic, during August 24-28, 1998. CSL¿98wasthe12thinaseriesofworkshopsandthe7thtobeheldasthe Annual Conference of the EACSL. The conference was organized at Masaryk University in Brno by the Faculty of Informatics in cooperation with universities in Aaachen, Caen, Haagen, Linz, Metz, Pisa, Szeged, Vienna, and other institutions. CSL¿98 formed one part of a federated conferences event, the other part being MFCS¿98, the 23rd Int- national Symposium on the Mathematical Foundations of Computer Science. This federated conferences event consisted of common plenary sessions, invited talks, several parallel technical programme tracks, a dozen satellite workshops organized in parallel, and tutorials. The Federated CSL/MFCS¿98 Conferences event included 19 invited talks, four of them joint CSL/MFCS¿98 talks (D. Harel, W. Maass, Y. Matiyasevic, and M. Yannakakis), four for CSL (P. Hajek, J. Mitchell, Th. Schwentick, and J. Tiuryn), and eleven for MFCS. Last but not least, two tutorials were organized by CSL on the day preceding the symposium on ¿Inference Rules in Fragments of Arithmetic¿ by Lev Beklemishev and on ¿Proofs, Types, and Safe Mobile Code¿ by Greg Morrisett. A total of 345 persons attended the Federated CSL/MFCS¿98 Conference which was a great success. The program committee of CSL¿98 selected 27 of 74 papers submitted for the conference.From the 27 papers selected for presentation,25 havebeen accepted, following the standard refereeeing procedure, for publication in the present p- ceedings. Three invited speakers submitted papers, that were likewise refereeed and accepted.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
3540659226
ISBN 13 
9783540659228
Rilegatura
Copertina flessibile
Numero di pagine
442
Redattore
Gottlob Georg, Grandjean Etienne, Seyr Katrin
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Germania