𝐚𝐛𝐨𝐮𝐭 𝐂𝐚𝐮𝐬𝐚𝐭𝐢𝐨𝐧, 𝐑𝐞𝐬𝐩𝐨𝐧𝐬𝐢𝐛𝐢𝐥𝐢𝐭𝐲, 𝐚𝐧𝐝
𝐄𝐱𝐩𝐥𝐚𝐧𝐚𝐭𝐢𝐨𝐧𝐬 𝐢𝐧 𝐒𝐜𝐢𝐞𝐧𝐜𝐞 𝐚𝐧𝐝 𝐓𝐞𝐜𝐡𝐧𝐨𝐥𝐨𝐠𝐲
(CREST'26 <https://crest26.cse.msu.edu/>) will be held as a satellite of
𝐅𝐋𝐨𝐂 𝟐𝟎𝟐𝟔 <https://www.floc26.org/> 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:Stefan.Leue@uni-konstanz.de
WWW:http://sen.uni-konstanz.de
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
