Tootfinder

Formel 1: Apple schnappt sich die Exklusivrechte für die USA
Die Autorennen können Fans in den USA künftig nur noch mit Apple-TV-Abo sehen. Apples iPhone-Apps sollen für den Motorsport trommeln.
https://www.

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ing\'olfsd\'ottir
https://arxiv.org/abs/2509.14089

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
This paper studies the complexity of determining whether a formula in the modal logics characterizing the nested-simulation semantics is characteristic for some process, which is equivalent to determining whether the formula is satisfiable and prime. The main results are that the problem of determining whether a formula is prime in the modal logic characterizing the 2-nested-simulation preorder is coNP-complete and is PSPACE-complete in the case of the n-nested-simulation preorder, when n>=3. T…

Skin cancer cluster found in 15 Pennsylvania counties with or near farmland | Penn State University
https://www.psu.edu/news/research/story/skin-cancer-cluster-found-15-pennsylvania-counties-or-near-farmland

US TV rights for #F1 will go to Apple TV
It seems like they are keeping #F1TV but details are sparse on pricing

Bridging Threat Models and Detections: Formal Verification via CADP
Dumitru-Bogdan Prelipcean (Bitdefender, Ia\c{s}i, Romania, Alexandru Ioan Cuza University, Iasi, Romania, LACL, Universite Paris-Est Creteil, France), C\u{a}t\u{a}lin Dima (LACL, Universit\'e Paris-Est Cr\'et\'eil, France)
https://arxiv.org/abs/2509.13035

Bridging Threat Models and Detections: Formal Verification via CADP
Threat detection systems rely on rule-based logic to identify adversarial behaviors, yet the conformance of these rules to high-level threat models is rarely verified formally. We present a formal verification framework that models both detection logic and attack trees as labeled transition systems (LTSs), enabling automated conformance checking via bisimulation and weak trace inclusion. Detection rules specified in the Generic Threat Detection Language (GTDL, a general-purpose detection langua…

Formalizing contextuality in sequential scenarios
Kim Vall\'ee, Damian Markham
https://arxiv.org/abs/2509.14125 https://arxiv.org/pdf/2509.14125…

Formalizing contextuality in sequential scenarios
This paper provides a framework for characterizing sequential scenarios, allowing for the identification of contextuality given empirical data, and then provides precise operational interpretations in terms of the possible hidden variable model explanations of that data. Sequential scenarios are different in essence from non-local scenarios as each measurement instrument is allowed to change the state as it enters subsequent measurement instruments. Thus, it is necessary to formulate the possib…

Free agent who won't take single snap will cost Cowboys 5th-round comp pick in 2026 https://cowboyswire.usatoday.com/story/sports/nfl/cowboys/2025/09/17/comp-pick-update-cowboys-2026-draft-formula/86201377007/…

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
David Basin, Nate Foster, Kenneth L. McMillan, Kedar S. Namjoshi, Cristina Nita-Rotaru, Jonathan M. Smith, Pamela Zave, Lenore D. Zuck
https://arxiv.org/abs/2509.13208

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
Formal specifications have numerous benefits for both designers and users of network protocols. They provide clear, unambiguous representations, which are useful as documentation and for testing. They can help reveal disagreements about what a protocol "is" and identify areas where further work is needed to resolve ambiguities or internal inconsistencies. They also provide a foundation for formal reasoning, making it possible to establish important security and correctness guarantees on all inp…

Reducts of fuzzy contexts: Formal concept analysis vs. rough set theory
Yuxu Chen, Jing Liu, Lili Shen, Xiaoye Tang
https://arxiv.org/abs/2509.13059 https://

Reducts of fuzzy contexts: Formal concept analysis vs. rough set theory
We postulate the intuitive idea of reducts of fuzzy contexts based on formal concept analysis and rough set theory. For a complete residuated lattice $L$, it is shown that reducts of $L$-contexts in formal concept analysis are interdefinable with reducts of $L$-contexts in rough set theory via negation if, and only if, $L$ satisfies the law of double negation.

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
Giorgio Bacci (Aalborg University, Denmark), Adrian Francalanza (University of Malta)
https://arxiv.org/abs/2509.13258

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
This volume contains the proceedings of GandALF 2025, the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification. GandALF 2025 took place on 16-17th September 2025, in Valletta, Malta. The aim of GandALF 2025 is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-…