CSL is the annual conference of the European Association for Computer Science Logic (EACSL). CSL2000 is the 14th such annual conference, thus witnessing the importance and sustained international interest in the application of me- ods from mathematical logic to computer science. The current conference was organized by the Mathematics Institute and the Computer Science Institute of the Ludwig-Maximilians-Universit] at Munc ] hen (LMU), with generous ?nancial supportfromtheDeutscheForschungsgemeinschaft, Forschungsinstitutfur ...
Read More
CSL is the annual conference of the European Association for Computer Science Logic (EACSL). CSL2000 is the 14th such annual conference, thus witnessing the importance and sustained international interest in the application of me- ods from mathematical logic to computer science. The current conference was organized by the Mathematics Institute and the Computer Science Institute of the Ludwig-Maximilians-Universit] at Munc ] hen (LMU), with generous ?nancial supportfromtheDeutscheForschungsgemeinschaft, Forschungsinstitutfur ] an- wandte Softwaretechnologie (FAST e.V.), Munc ] hener Universit] atsgesellschaft e.V., and Siemens AG. Our sponsors' generosity enabled, among other things, stipends for the ?nancial support of students as well as of researchers from Ea- ern Europe. Topics in the call for papers for CSL2000 included: automated deduction andinteractivetheoremproving, categoricallogicandtopologicalsemantics, c- structivemathematicsandtypetheory, domaintheory, equationallogicandterm rewriting, ?nite model theory, database theory, higher order logic, lambda and combinatory calculi, logical aspects of computational complexity, logical fo- dations of programming paradigms, logic programming and constraints, linear logic, modal and temporal logics, model checking, program extraction, program logicsandsemantics, programspeci?cation, transformationandveri?cation.The invited speakers were: Moshe Vardi (Houston), Paul Beame (Washington), - dreas Blass (Ann Arbor), Egon B] orger (Pisa), Yuri Gurevich (Redmond), Bruno Poizat (Lyons), Wolfram Schulte (Redmond), Saharon Shelah (Jerusalem), and Colin Sterling (Edinburgh). Special thanks to Moshe Vardi for being willing to speakintheplaceofMikl??? osAjtai(Almaden), whocouldnotattendthemeeting. The day of 24 August 2000, during the week-long CSL2000 meeting, was reserved for theGurevichSymposium, a special, one-day tribute to the scienti?c contributions of Professor Yuri Gurevich, at the occasion of his 60th birthday.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Trade paperback (US). Glued binding. 550 p. Lecture Notes in Computer Science, 1862. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 550 p. Lecture Notes in Computer Science, 1862. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 550 p. Lecture Notes in Computer Science, 1862. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Trade paperback (US). Glued binding. 550 p. Lecture Notes in Computer Science, 1862. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.