Preface
Identifieur interne : 00A835 ( Main/Exploration ); précédent : 00A834; suivant : 00A836Preface
Auteurs : Alessandro Armando ; Tudor JebeleanSource :
- Electronic Notes in Theoretical Computer Science [ 1571-0661 ] ; 1999.
English descriptors
- Teeft :
- Abstractthis, Abstractthis volume, Academia, Alessandro, Alessandro armando, Alessandro coglio, Alexander letichevsky, Algebra, Andrew ireland university, Andrews university, Andrzej, Andrzej trybulec, Armando, Automatic deduction, Barendregt, Bernd, Bernd ingo dahn, Bialystok, Boris konev, Bruno buchberger alan bundy, Buchberger, Cade, Calculemus, Calmet, Carnegie mellon university, Carolyn talcott, Case studies, Cken, Coglio, Computational power, Computer algebra systems, Computer science series, Cybernetics, Dahn, Deduction systems, Dongming, Dongming wang, Edinburgh, Edmund clarke, Electronic notes, Fausto giunchiglia, Federated, Federated logic conference, Formal methods, Front matter, Fundamental redesign, Genova, Genova henk barendregt, Giunchiglia, Glushkov, Glushkov institute, Henk, Hoon, Hoon hong, Imag, Imag grenoble, Important groups, Irst, Jaques, Jaques calmet, Jebelean, Joerg, Joerg siekmann, Karlsruhe, Kerber, Kestrel, Kestrel institute, Kiev, Klaus sutner, Kohlhase, Konev, Letichevsky, Local organization, Many application domains, Mathematical software systems, Mellon, Michael kohlhase, Michael mislove, Mislove, Nijmegen, Organizer, Other hand, Particular interest, Paulson, Program committee members, Programme, Programme committee, Ranise, Reasoning capabilities, Reasoning tasks, Redesign, Saarbr, Satellite workshop, Sheer size, Siekmann, Silvio ranise, Software, Software development, Special thanks, Stanford university, Steklov, Steklov institute, Sutner, Symbolic computation, Talcott, Talks address, Tetsuo, Theoretical computer science preface volume, Trento, Trybulec, Tsukuba, Tsukuba university, Tudor jebelean, Tudor jebelean manfred kerber, Ursula, Ursula martin, Volume number, Wang, Whish.
Abstract
Abstract: This volume contains the Proceedings of Calculemus 99, a satellite workshop of CADE 16: “Computer Aided Deduction”, itself a part of FLoC 99: “Federated Logic Conference”. The workshop addressed the problem of combining the reasoning capabilities of Deduction Systems and the computational power of Computer Algebra Systems. This topic is of particular interest since both Deduction Systems and Computer Algebra Systems are receiving growing attention from industry and academia. On the one hand, Mathematical Software Systems have been commercially very successful: their use is now wide-spread in industry, education, and in scientific contexts. On the other hand, the use of formal methods in hardware and software development makes Deduction Systems indispensable not least because of the complexity and sheer size of the reasoning tasks involved. In spite of these successes there is still need for improvement as many application domains still fall outside the scope of existing Deduction Systems and Computer Algebra Systems. The emphasis of the workshop was on whether existing systems and technologies can be integrated as they stand or if a fundamental redesign is necessary. The proceedings contain contributions from some of the most important scientific groups involved in research and applications of automatic deduction and symbolic computation. The 11 papers selected by the programme committee and the two invited talks address various aspects related to the combination of deduction systems and computer algebra systems, including case studies and results from applications. We express special thanks to the Program Committee members: Alessandro Armando (Co-Chair) (University of Genova & LORIA-INRIA-Lorraine) Henk Barendregt (University of Nijmegen) Bruno Buchberger (RISC-Linz) Alan Bundy (University of Edinburgh) Jaques Calmet (University of Karlsruhe) Edmund Clarke (Carnegie Mellon University) Bernd Ingo Dahn (University of Koblenz-Landau) Fausto Giunchiglia (IRST, Trento and University of Trento) Hoon Hong (University of North Carolina) Tetsuo Ida (Tsukuba University) Tudor Jebelean (Co-Chair) (RISC-Linz) Manfred Kerber (University of Birmingham) Michael Kohlhase (University of Saarbrücken) Alexander Letichevsky (Glushkov Institute of Cybernetics, Kiev) Ursula Martin (St. Andrews University) Lawrence C. Paulson (University of Cambridge) Joerg Siekmann (University of Saarbrücken) Carolyn Talcott (Stanford University) Andrzej Trybulec (University of Bialystok) Dongming Wang (IMAG Grenoble) We also whish to thank the following people, who - together with the programme committee - helped us in the reviewing process: Alessandro Coglio (Kestrel Institute, USA), Katherine Eastaughffe (University of Cambridge), Andrew Ireland (Heriot-Watt University), Boris Konev (Steklov Institute of Mathematics, St. Petersburg), Silvio Ranise (University of Genova), and Klaus Sutner (Carnegie Mellon University). The organizers of FLoC 99 gave us valuable help in the local organization during the Workshop. We also thank Michael Mislove, Managing Editor of the Electronic Notes in Computer Science series for giving us the opportunity of publishing the proceedings this new series, and for the support he provided us during the preparation of this volume. Alessandro Armando and Tudor Jebelean, Guest Editors
Url:
DOI: 10.1016/S1571-0661(05)80604-8
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 003309
- to stream Istex, to step Curation: 003267
- to stream Istex, to step Checkpoint: 002219
- to stream Main, to step Merge: 00AE86
- to stream Main, to step Curation: 00A835
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title>Preface</title>
<author><name sortKey="Armando, Alessandro" sort="Armando, Alessandro" uniqKey="Armando A" first="Alessandro" last="Armando">Alessandro Armando</name>
</author>
<author><name sortKey="Jebelean, Tudor" sort="Jebelean, Tudor" uniqKey="Jebelean T" first="Tudor" last="Jebelean">Tudor Jebelean</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:D62169A4F488C106A4F4D7A78ADFBA40CD0893FA</idno>
<date when="1999" year="1999">1999</date>
<idno type="doi">10.1016/S1571-0661(05)80604-8</idno>
<idno type="url">https://api.istex.fr/ark:/67375/6H6-S482W805-D/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">003309</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">003309</idno>
<idno type="wicri:Area/Istex/Curation">003267</idno>
<idno type="wicri:Area/Istex/Checkpoint">002219</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">002219</idno>
<idno type="wicri:Area/Main/Merge">00AE86</idno>
<idno type="wicri:Area/Main/Curation">00A835</idno>
<idno type="wicri:Area/Main/Exploration">00A835</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a">Preface</title>
<author><name sortKey="Armando, Alessandro" sort="Armando, Alessandro" uniqKey="Armando A" first="Alessandro" last="Armando">Alessandro Armando</name>
</author>
<author><name sortKey="Jebelean, Tudor" sort="Jebelean, Tudor" uniqKey="Jebelean T" first="Tudor" last="Jebelean">Tudor Jebelean</name>
</author>
</analytic>
<monogr></monogr>
<series><title level="j">Electronic Notes in Theoretical Computer Science</title>
<title level="j" type="abbrev">ENTCS</title>
<idno type="ISSN">1571-0661</idno>
<imprint><publisher>ELSEVIER</publisher>
<date type="published" when="1999">1999</date>
<biblScope unit="volume">23</biblScope>
<biblScope unit="issue">3</biblScope>
<biblScope unit="page" from="319">319</biblScope>
<biblScope unit="page" to="320">320</biblScope>
</imprint>
<idno type="ISSN">1571-0661</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">1571-0661</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="Teeft" xml:lang="en"><term>Abstractthis</term>
<term>Abstractthis volume</term>
<term>Academia</term>
<term>Alessandro</term>
<term>Alessandro armando</term>
<term>Alessandro coglio</term>
<term>Alexander letichevsky</term>
<term>Algebra</term>
<term>Andrew ireland university</term>
<term>Andrews university</term>
<term>Andrzej</term>
<term>Andrzej trybulec</term>
<term>Armando</term>
<term>Automatic deduction</term>
<term>Barendregt</term>
<term>Bernd</term>
<term>Bernd ingo dahn</term>
<term>Bialystok</term>
<term>Boris konev</term>
<term>Bruno buchberger alan bundy</term>
<term>Buchberger</term>
<term>Cade</term>
<term>Calculemus</term>
<term>Calmet</term>
<term>Carnegie mellon university</term>
<term>Carolyn talcott</term>
<term>Case studies</term>
<term>Cken</term>
<term>Coglio</term>
<term>Computational power</term>
<term>Computer algebra systems</term>
<term>Computer science series</term>
<term>Cybernetics</term>
<term>Dahn</term>
<term>Deduction systems</term>
<term>Dongming</term>
<term>Dongming wang</term>
<term>Edinburgh</term>
<term>Edmund clarke</term>
<term>Electronic notes</term>
<term>Fausto giunchiglia</term>
<term>Federated</term>
<term>Federated logic conference</term>
<term>Formal methods</term>
<term>Front matter</term>
<term>Fundamental redesign</term>
<term>Genova</term>
<term>Genova henk barendregt</term>
<term>Giunchiglia</term>
<term>Glushkov</term>
<term>Glushkov institute</term>
<term>Henk</term>
<term>Hoon</term>
<term>Hoon hong</term>
<term>Imag</term>
<term>Imag grenoble</term>
<term>Important groups</term>
<term>Irst</term>
<term>Jaques</term>
<term>Jaques calmet</term>
<term>Jebelean</term>
<term>Joerg</term>
<term>Joerg siekmann</term>
<term>Karlsruhe</term>
<term>Kerber</term>
<term>Kestrel</term>
<term>Kestrel institute</term>
<term>Kiev</term>
<term>Klaus sutner</term>
<term>Kohlhase</term>
<term>Konev</term>
<term>Letichevsky</term>
<term>Local organization</term>
<term>Many application domains</term>
<term>Mathematical software systems</term>
<term>Mellon</term>
<term>Michael kohlhase</term>
<term>Michael mislove</term>
<term>Mislove</term>
<term>Nijmegen</term>
<term>Organizer</term>
<term>Other hand</term>
<term>Particular interest</term>
<term>Paulson</term>
<term>Program committee members</term>
<term>Programme</term>
<term>Programme committee</term>
<term>Ranise</term>
<term>Reasoning capabilities</term>
<term>Reasoning tasks</term>
<term>Redesign</term>
<term>Saarbr</term>
<term>Satellite workshop</term>
<term>Sheer size</term>
<term>Siekmann</term>
<term>Silvio ranise</term>
<term>Software</term>
<term>Software development</term>
<term>Special thanks</term>
<term>Stanford university</term>
<term>Steklov</term>
<term>Steklov institute</term>
<term>Sutner</term>
<term>Symbolic computation</term>
<term>Talcott</term>
<term>Talks address</term>
<term>Tetsuo</term>
<term>Theoretical computer science preface volume</term>
<term>Trento</term>
<term>Trybulec</term>
<term>Tsukuba</term>
<term>Tsukuba university</term>
<term>Tudor jebelean</term>
<term>Tudor jebelean manfred kerber</term>
<term>Ursula</term>
<term>Ursula martin</term>
<term>Volume number</term>
<term>Wang</term>
<term>Whish</term>
</keywords>
</textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: This volume contains the Proceedings of Calculemus 99, a satellite workshop of CADE 16: “Computer Aided Deduction”, itself a part of FLoC 99: “Federated Logic Conference”. The workshop addressed the problem of combining the reasoning capabilities of Deduction Systems and the computational power of Computer Algebra Systems. This topic is of particular interest since both Deduction Systems and Computer Algebra Systems are receiving growing attention from industry and academia. On the one hand, Mathematical Software Systems have been commercially very successful: their use is now wide-spread in industry, education, and in scientific contexts. On the other hand, the use of formal methods in hardware and software development makes Deduction Systems indispensable not least because of the complexity and sheer size of the reasoning tasks involved. In spite of these successes there is still need for improvement as many application domains still fall outside the scope of existing Deduction Systems and Computer Algebra Systems. The emphasis of the workshop was on whether existing systems and technologies can be integrated as they stand or if a fundamental redesign is necessary. The proceedings contain contributions from some of the most important scientific groups involved in research and applications of automatic deduction and symbolic computation. The 11 papers selected by the programme committee and the two invited talks address various aspects related to the combination of deduction systems and computer algebra systems, including case studies and results from applications. We express special thanks to the Program Committee members: Alessandro Armando (Co-Chair) (University of Genova & LORIA-INRIA-Lorraine) Henk Barendregt (University of Nijmegen) Bruno Buchberger (RISC-Linz) Alan Bundy (University of Edinburgh) Jaques Calmet (University of Karlsruhe) Edmund Clarke (Carnegie Mellon University) Bernd Ingo Dahn (University of Koblenz-Landau) Fausto Giunchiglia (IRST, Trento and University of Trento) Hoon Hong (University of North Carolina) Tetsuo Ida (Tsukuba University) Tudor Jebelean (Co-Chair) (RISC-Linz) Manfred Kerber (University of Birmingham) Michael Kohlhase (University of Saarbrücken) Alexander Letichevsky (Glushkov Institute of Cybernetics, Kiev) Ursula Martin (St. Andrews University) Lawrence C. Paulson (University of Cambridge) Joerg Siekmann (University of Saarbrücken) Carolyn Talcott (Stanford University) Andrzej Trybulec (University of Bialystok) Dongming Wang (IMAG Grenoble) We also whish to thank the following people, who - together with the programme committee - helped us in the reviewing process: Alessandro Coglio (Kestrel Institute, USA), Katherine Eastaughffe (University of Cambridge), Andrew Ireland (Heriot-Watt University), Boris Konev (Steklov Institute of Mathematics, St. Petersburg), Silvio Ranise (University of Genova), and Klaus Sutner (Carnegie Mellon University). The organizers of FLoC 99 gave us valuable help in the local organization during the Workshop. We also thank Michael Mislove, Managing Editor of the Electronic Notes in Computer Science series for giving us the opportunity of publishing the proceedings this new series, and for the support he provided us during the preparation of this volume. Alessandro Armando and Tudor Jebelean, Guest Editors</div>
</front>
</TEI>
<affiliations><list></list>
<tree><noCountry><name sortKey="Armando, Alessandro" sort="Armando, Alessandro" uniqKey="Armando A" first="Alessandro" last="Armando">Alessandro Armando</name>
<name sortKey="Jebelean, Tudor" sort="Jebelean, Tudor" uniqKey="Jebelean T" first="Tudor" last="Jebelean">Tudor Jebelean</name>
</noCountry>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00A835 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00A835 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= ISTEX:D62169A4F488C106A4F4D7A78ADFBA40CD0893FA |texte= Preface }}
This area was generated with Dilib version V0.6.33. |