CREST'26 at FLoC'26 - Call for Presentations

The 7th International Workshop on 𝐅𝐨𝐫𝐦𝐚𝐥 𝐑𝐞𝐚𝐬𝐨𝐧𝐢𝐧𝐠 
𝐚𝐛𝐨𝐮𝐭 𝐂𝐚𝐮𝐬𝐚𝐭𝐢𝐨𝐧, 𝐑𝐞𝐬𝐩𝐨𝐧𝐬𝐢𝐛𝐢𝐥𝐢𝐭𝐲, 𝐚𝐧𝐝 
𝐄𝐱𝐩𝐥𝐚𝐧𝐚𝐭𝐢𝐨𝐧𝐬 𝐢𝐧 𝐒𝐜𝐢𝐞𝐧𝐜𝐞 𝐚𝐧𝐝 𝐓𝐞𝐜𝐡𝐧𝐨𝐥𝐨𝐠𝐲 
(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:[email protected]
WWW:http://sen.uni-konstanz.de 

**********************************************************
*
*   Contributions to be spread via DMANET are submitted to
*
*                   [email protected]
*
*   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/
*
**********************************************************