|
Showing 1 - 3 of
3 matches in All Departments
|
Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings (Paperback, 2013 ed.)
Pascal Fontaine, Christophe Ringeissen, Renate Schmidt
|
R1,581
Discovery Miles 15 810
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 9th
International Symposium on Frontiers of Combining Systems, FroCoS
2013, held in Nancy, France, in September 2013. The 20 revised full
papers presented together with 4 invited papers were carefully
reviewed and selected from 33 submissions. FroCoS'13 seeks to offer
a common forum for research in the general area of combination,
modularization and integration of systems, with emphasis on
logic-based ones, and of their practical use. Typical topics of
interest include following subjects: combinations of logics such as
combined predicate, temporal, modal or epistemic logics,
combinations and modularity in ontologies, combination of decision,
procedures, of satisfiability, procedures and of constraint solving
techniques, combinations and modularity in term rewriting,
integration of equational and other theories into deductive
systems, combination of deduction systems and computer algebra,
integration of data structures into constraint logic programming
and deduction, and modularizing programs and specifications.
This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, held in Saint-Gilles-les-Bains, Reunion Island, France in September 2002.The 26 revised full papers presented together with 6 invited papers and 2 system descriptions were carefully reviewed and selected from 59 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, process algebras, algebraic specification, semantic specification, model checking, mu-calculus, Petri box algebras, unification, verification of Java for smart cards, security, JML specification, and formal software development.
This volume contains the proceedings of FroCoS2000, the 3rd
International WorkshoponFrontiersofCombiningSystems,
heldMarch22-24,2000, inNancy, France. Like its predecessors
organized in Munich (1996) and in Amsterdam (1998), FroCoS2000 is
intended to o?er a common forum for research activities related to
the combination and the integration of systems in the areas of
logic, automateddeduction, constraintsolving,
declarativeprogramming, andarti?cial intelligence. There were 31
submissions of overall high quality, authored by researchers from
countries including Australia, Brasil, Belgium, Chili, France,
Germany, - pan, Ireland, Italy, Portugal, Spain, Switzerland, The
Netherlands, the United Kingdom, and the United States of America.
All submissions were thoroughly
evaluatedonthebasisofatleastthreerefereereports,
andanelectronicprogram
committeemeetingwasheldthroughtheInternet.Theprogramcommitteesel-
ted 14 research contributions. The topics covered by the selected
papers include:
combinationoflogics;combinationofconstraintsolvingtechniques,
combination of decision procedures; modular properties for theorem
proving; combination of deduction systems and computer algebra;
integration of decision procedures and other solving processes into
constraint programming and deduction systems. We welcomed ?ve
invited lectures by Alexander Bockmayr on "Combining Logic and
Optimization in Cutting Plane Theory," Gilles Dowek on "Axioms vs.
Rewrite Rules: From Completeness to Cut Elimination," Klaus Schulz
on "Why Combined Decision Problems Are Often Intractable," Tomas
Uribe on "Combinations of Theorem Proving and Model Checking," and
Richard Zippel on "Program Composition Techniques for Numerical PDE
Codes." Full papers of these lectures, except the last one, are
also included in this volume.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|