Search Results

Documents authored by Kirchner, Claude

Document
DOI: 10.4230/DagRep.11.9.28
Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation (Dagstuhl Seminar 21402)

Authors: Claude Kirchner and Franziska Roesner

Published in: Dagstuhl Reports, Volume 11, Issue 9 (2022)

Abstract
We report on the discussions and conclusions of a Dagstuhl seminar focused on digital mis- and disinformation, held in October of 2021. An international and interdisciplinary group of seminar participants considered key technical and societal topics including trustworthiness algorithms (i.e., how to build systems that assess trustworthiness automatically), friction as a technique in platform design (e.g., to slow down people’s consumption of information on social media), the ethics of mis/disinformation interventions, and how to educate users. We detail these discussions and highlight questions for the future.
Cite as

Claude Kirchner and Franziska Roesner. Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation (Dagstuhl Seminar 21402). In Dagstuhl Reports, Volume 11, Issue 9, pp. 28-44, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@Article{kirchner_et_al:DagRep.11.9.28,
  author =	{Kirchner, Claude and Roesner, Franziska},
  title =	{{Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation (Dagstuhl Seminar 21402)}},
  pages =	{28--44},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{11},
  number =	{9},
  editor =	{Kirchner, Claude and Roesner, Franziska},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.9.28},
  URN =		{urn:nbn:de:0030-drops-159162},
  doi =		{10.4230/DagRep.11.9.28},
  annote =	{Keywords: Information, disinformation, misinformation, fake news, deep fake, ethics, trustworthiness, friction, verification}
}
Document
DOI: 10.4230/DagMan.6.1.1
Engineering Academic Software (Dagstuhl Perspectives Workshop 16252)

Authors: Alice Allen, Cecilia Aragon, Christoph Becker, Jeffrey Carver, Andrei Chis, Benoit Combemale, Mike Croucher, Kevin Crowston, Daniel Garijo, Ashish Gehani, Carole Goble, Robert Haines, Robert Hirschfeld, James Howison, Kathryn Huff, Caroline Jay, Daniel S. Katz, Claude Kirchner, Katie Kuksenok, Ralf Lämmel, Oscar Nierstrasz, Matt Turk, Rob van Nieuwpoort, Matthew Vaughn, and Jurgen J. Vinju

Published in: Dagstuhl Manifestos, Volume 6, Issue 1 (2017)

Abstract
Software is often a critical component of scientific research. It can be a component of the academic research methods used to produce research results, or it may itself be an academic research result. Software, however, has rarely been considered to be a citable artifact in its own right. With the advent of open-source software, artifact evaluation committees of conferences, and journals that include source code and running systems as part of the published artifacts, we foresee that software will increasingly be recognized as part of the academic process. The quality and sustainability of this software must be accounted for, both a prioro and a posteriori. The Dagstuhl Perspectives Workshop on "Engineering Academic Software" has examined the strengths, weaknesses, risks, and opportunities of academic software engineering. A key outcome of the workshop is this Dagstuhl Manifesto, serving as a roadmap towards future professional software engineering for software-based research instruments and other software produced and used in an academic context. The manifesto is expressed in terms of a series of actionable "pledges" that users and developers of academic research software can take as concrete steps towards improving the environment in which that software is produced.
Cite as

Alice Allen, Cecilia Aragon, Christoph Becker, Jeffrey Carver, Andrei Chis, Benoit Combemale, Mike Croucher, Kevin Crowston, Daniel Garijo, Ashish Gehani, Carole Goble, Robert Haines, Robert Hirschfeld, James Howison, Kathryn Huff, Caroline Jay, Daniel S. Katz, Claude Kirchner, Katie Kuksenok, Ralf Lämmel, Oscar Nierstrasz, Matt Turk, Rob van Nieuwpoort, Matthew Vaughn, and Jurgen J. Vinju. Engineering Academic Software (Dagstuhl Perspectives Workshop 16252). In Dagstuhl Manifestos, Volume 6, Issue 1, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@Article{allen_et_al:DagMan.6.1.1,
  author =	{Allen, Alice and Aragon, Cecilia and Becker, Christoph and Carver, Jeffrey and Chis, Andrei and Combemale, Benoit and Croucher, Mike and Crowston, Kevin and Garijo, Daniel and Gehani, Ashish and Goble, Carole and Haines, Robert and Hirschfeld, Robert and Howison, James and Huff, Kathryn and Jay, Caroline and Katz, Daniel S. and Kirchner, Claude and Kuksenok, Katie and L\"{a}mmel, Ralf and Nierstrasz, Oscar and Turk, Matt and van Nieuwpoort, Rob and Vaughn, Matthew and Vinju, Jurgen J.},
  title =	{{Engineering Academic Software (Dagstuhl Perspectives Workshop 16252)}},
  pages =	{1--20},
  journal =	{Dagstuhl Manifestos},
  ISSN =	{2193-2433},
  year =	{2017},
  volume =	{6},
  number =	{1},
  editor =	{Allen, Alice and Aragon, Cecilia and Becker, Christoph and Carver, Jeffrey and Chis, Andrei and Combemale, Benoit and Croucher, Mike and Crowston, Kevin and Garijo, Daniel and Gehani, Ashish and Goble, Carole and Haines, Robert and Hirschfeld, Robert and Howison, James and Huff, Kathryn and Jay, Caroline and Katz, Daniel S. and Kirchner, Claude and Kuksenok, Katie and L\"{a}mmel, Ralf and Nierstrasz, Oscar and Turk, Matt and van Nieuwpoort, Rob and Vaughn, Matthew and Vinju, Jurgen J.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagMan.6.1.1},
  URN =		{urn:nbn:de:0030-drops-71468},
  doi =		{10.4230/DagMan.6.1.1},
  annote =	{Keywords: Academic software, Research software, Software citation, Software sustainability}
}
Document
DOI: 10.4230/DagRep.6.6.62
Engineering Academic Software (Dagstuhl Perspectives Workshop 16252)

Authors: Carole Goble, James Howison, Claude Kirchner, Oscar Nierstrasz, and Jurgen J. Vinju

Published in: Dagstuhl Reports, Volume 6, Issue 6 (2016)

Abstract
This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 16252 "Engineering Academic Software".
Cite as

Carole Goble, James Howison, Claude Kirchner, Oscar Nierstrasz, and Jurgen J. Vinju. Engineering Academic Software (Dagstuhl Perspectives Workshop 16252). In Dagstuhl Reports, Volume 6, Issue 6, pp. 62-87, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{goble_et_al:DagRep.6.6.62,
  author =	{Goble, Carole and Howison, James and Kirchner, Claude and Nierstrasz, Oscar and Vinju, Jurgen J.},
  title =	{{Engineering Academic Software (Dagstuhl Perspectives Workshop 16252)}},
  pages =	{62--87},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{6},
  number =	{6},
  editor =	{Goble, Carole and Howison, James and Kirchner, Claude and Nierstrasz, Oscar and Vinju, Jurgen J.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.6.62},
  URN =		{urn:nbn:de:0030-drops-67557},
  doi =		{10.4230/DagRep.6.6.62},
  annote =	{Keywords: Scientific Software, Data Science, Software Engineering}
}
Document
DOI: 10.4230/DagMan.4.1.1
Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112)

Authors: Pierre Dillenbourg, Armando Fox, Claude Kirchner, John Mitchell, and Martin Wirsing

Published in: Dagstuhl Manifestos, Volume 4, Issue 1 (2014)

Abstract
The rapid emergence and adoption of Massive Open Online Courses (MOOCs) has raised new questions and rekindled old debates in higher education. Academic leaders are concerned about educational quality, access to content, privacy protection for learner data, production costs and the proper relationship between MOOCs and residential instruction, among other matters. At the same time, these same leaders see opportunities for the scale of MOOCs to support learning: faculty interest in teaching innovation, better learner engagement through personalization, increased understanding of learner behavior through large-scale data analytics, wider access for continuing education learners and other nonresidential learners, and the possibility to enhance revenue or lower educational costs. Two years after "the year of the MOOC", this report summarizes the state of the art and the future directions of greatest interest as seen by an international group of academic leaders. Eight provocative positions are put forward, in hopes of aiding policy-makers, academics, administrators, and learners regarding the potential future of MOOCs in higher education. The recommendations span a variety of topics including financial considerations, pedagogical quality, and the social fabric.
Cite as

Pierre Dillenbourg, Armando Fox, Claude Kirchner, John Mitchell, and Martin Wirsing. Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). In Dagstuhl Manifestos, Volume 4, Issue 1, pp. 1-27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{dillenbourg_et_al:DagMan.4.1.1,
  author =	{Dillenbourg, Pierre and Fox, Armando and Kirchner, Claude and Mitchell, John and Wirsing, Martin},
  title =	{{Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112)}},
  pages =	{1--27},
  journal =	{Dagstuhl Manifestos},
  ISSN =	{2193-2433},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Dillenbourg, Pierre and Fox, Armando and Kirchner, Claude and Mitchell, John and Wirsing, Martin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagMan.4.1.1},
  URN =		{urn:nbn:de:0030-drops-47861},
  doi =		{10.4230/DagMan.4.1.1},
  annote =	{Keywords: Massive open online course, MOOC, SPOC, e-learning, education}
}
Document
DOI: 10.4230/DagRep.4.3.47
Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112)

Authors: Pierre Dillenbourg, Claude Kirchner, John C. Mitchell, and Martin Wirsing

Published in: Dagstuhl Reports, Volume 4, Issue 3 (2014)

Abstract
The Perspectives Workshop on "Massively Open Online Courses, Current State and Perspectives" took place at Schloss Dagstuhl on March 10--13, 2014. Twenty-three leading researchers and practitioners from informatics and pedagogical sciences presented and discussed current experiences and future directions, challenges, and visions for the influence of MOOCs on university teaching and learning. The first day of the workshop consisted of a series of presentations in which each participant presented those topics and developments he or she considered most relevant for the future development of MOOCs. The abstracts of these talks are given in the first part of this report. On the second and third day the participants divided into several working groups according to the main thematic areas that had been identified on the first day. This gives rise to a Manifesto to be published in the Dagstuhl Manifesto series and to identifying main research questions rised by the emergence of MOOCs: they are summarized in the second part of this report.
Cite as

Pierre Dillenbourg, Claude Kirchner, John C. Mitchell, and Martin Wirsing. Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). In Dagstuhl Reports, Volume 4, Issue 3, pp. 47-61, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{dillenbourg_et_al:DagRep.4.3.47,
  author =	{Dillenbourg, Pierre and Kirchner, Claude and Mitchell, John C. and Wirsing, Martin},
  title =	{{Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112)}},
  pages =	{47--61},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{3},
  editor =	{Dillenbourg, Pierre and Kirchner, Claude and Mitchell, John C. and Wirsing, Martin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.47},
  URN =		{urn:nbn:de:0030-drops-45910},
  doi =		{10.4230/DagRep.4.3.47},
  annote =	{Keywords: Massively open online courses, MOOC, SPOC, e-learning, education}
}
Document
Invited Talk
DOI: 10.4230/LIPIcs.RTA.2012.2
Rho-Calculi for Computation and Logic (Invited Talk)

Authors: Claude Kirchner

Published in: LIPIcs, Volume 15, 23rd International Conference on Rewriting Techniques and Applications (RTA'12) (2012)

Abstract
The rho-calculi provide enlightening concepts for both computing and reasoning as well as their combination. They consist in the generalization of lambda-calculus to structures like terms, propositions or graphs and we will show how their interrelations with deduction provide powerful frameworks for the next generation of proof assistants.
Cite as

Claude Kirchner. Rho-Calculi for Computation and Logic (Invited Talk). In 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 15, pp. 2-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@InProceedings{kirchner:LIPIcs.RTA.2012.2,
  author =	{Kirchner, Claude},
  title =	{{Rho-Calculi for Computation and Logic}},
  booktitle =	{23rd International Conference on Rewriting Techniques and Applications (RTA'12)},
  pages =	{2--4},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-38-5},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{15},
  editor =	{Tiwari, Ashish},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2012.2},
  URN =		{urn:nbn:de:0030-drops-34796},
  doi =		{10.4230/LIPIcs.RTA.2012.2},
  annote =	{Keywords: rewriting calculus, rho-calculus, deduction modulo}
}
Document
DOI: 10.4230/OASIcs.TrustworthySW.2006.697
Formal Validation of Pattern Matching code

Authors: Claude Kirchner, Pierre-Etienne Moreau, and Antoine Reilles

Published in: OASIcs, Volume 3, Workshop on Trustworthy Software (2006)

Abstract
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code. Here, we focus on directly proving the correctness of compiled code issued from powerful pattern matching constructions typical of ML like languages or rewrite based languages such as ELAN, MAUDE or Tom. In this context, our first contribution is to define a general framework for anchoring algebraic pattern-matching capabilities in existing languages like C, Java or ML. Then, using a just enough powerful intermediate language, we formalize the behavior of compiled code and define the correctness of compiled code with respect to pattern-matching behavior. This allows us to prove the equivalence of compiled code correctness with a generic first-order proposition whose proof could be achieved via a proof assistant or an automated theorem prover. We then extend these results to the multi-match situation characteristic of the ML like languages. The whole approach has been implemented on top of the Tom compiler and used to validate the syntactic matching code of the Tom compiler itself.
Cite as

Claude Kirchner, Pierre-Etienne Moreau, and Antoine Reilles. Formal Validation of Pattern Matching code. In Workshop on Trustworthy Software. Open Access Series in Informatics (OASIcs), Volume 3, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{kirchner_et_al:OASIcs.TrustworthySW.2006.697,
  author =	{Kirchner, Claude and Moreau, Pierre-Etienne and Reilles, Antoine},
  title =	{{Formal Validation of Pattern Matching code}},
  booktitle =	{Workshop on Trustworthy Software},
  pages =	{1--22},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-02-6},
  ISSN =	{2190-6807},
  year =	{2006},
  volume =	{3},
  editor =	{Autexier, Serge and Merz, Stephan and van der Torre, Leon and Wilhelm, Reinhard and Wolper, Pierre},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.TrustworthySW.2006.697},
  URN =		{urn:nbn:de:0030-drops-6978},
  doi =		{10.4230/OASIcs.TrustworthySW.2006.697},
  annote =	{Keywords: Correctness proofs, compilers, pattern matching, validation}
}
Document
DOI: 10.4230/DagSemRep.24
Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143)

Authors: Hubert Comon, Harald Ganzinger, Claude Kirchner, Hélène Kirchner, Jean-Louis Lassez, and Gert Smolka

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Hubert Comon, Harald Ganzinger, Claude Kirchner, Hélène Kirchner, Jean-Louis Lassez, and Gert Smolka. Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143). Dagstuhl Seminar Report 24, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1992)

Copy BibTex To Clipboard

@TechReport{comon_et_al:DagSemRep.24,
  author =	{Comon, Hubert and Ganzinger, Harald and Kirchner, Claude and Kirchner, H\'{e}l\`{e}ne and Lassez, Jean-Louis and Smolka, Gert},
  title =	{{Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{24},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.24},
  URN =		{urn:nbn:de:0030-drops-149127},
  doi =		{10.4230/DagSemRep.24},
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact