The 7th International
Workshop on ๐
๐จ๐ซ๐ฆ๐๐ฅ ๐๐๐๐ฌ๐จ๐ง๐ข๐ง๐ ๐๐๐จ๐ฎ๐ญ
๐๐๐ฎ๐ฌ๐๐ญ๐ข๐จ๐ง, ๐๐๐ฌ๐ฉ๐จ๐ง๐ฌ๐ข๐๐ข๐ฅ๐ข๐ญ๐ฒ, ๐๐ง๐
๐๐ฑ๐ฉ๐ฅ๐๐ง๐๐ญ๐ข๐จ๐ง๐ฌ ๐ข๐ง ๐๐๐ข๐๐ง๐๐ ๐๐ง๐
๐๐๐๐ก๐ง๐จ๐ฅ๐จ๐ ๐ฒ (CREST'26) will be held as a
satellite of ๐
๐๐จ๐ ๐๐๐๐ย in Lisbon.
CREST focuses on developing formal methods for reasoning
about causation in software and hardware systems, as well as
on the foundations of causal reasoning in the philosophy of
science. We follow the model of ๐๐จ๐ง๐ญ๐ซ๐ข๐๐ฎ๐ญ๐๐
๐ญ๐๐ฅ๐ค๐ฌ (rather than workshop publications). Presentation
proposals should be in the form of an extended abstract of
up to three pages in LNCS format. Deadline of Submissions is
๐๐๐ฒ ๐, ๐๐๐๐ ๐๐จ๐. We look forward to having a
lively event, discussing various aspects of reasoning about
causality. For more information, please visit: https://www.floc26.org/
-- Prof. Dr. Stefan Leue Chair for Software and Systems Engineering Department of Computer and Information Science University of Konstanz, Box 67 D-78457 Konstanz, Germany
Office: PZ902 Phone: +49 (0)7531 88 2893, ~4631 (secretary) Home: +49 (0)7533 949 2182 Email: [email protected] WWW: http://sen.uni-konstanz.de
