Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Computer Science Logic - 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings (Paperback, 1999 ed.)
Loot Price: R1,755
Discovery Miles 17 550
|
|
Computer Science Logic - 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings (Paperback, 1999 ed.)
Series: Lecture Notes in Computer Science, 1584
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|