Talks

Joint

• Reasoning About Probabilistic Loops, Moment by Moment

  Ezio Bartocci

  LiveInvited CONCUR FMICS Q+F 

• Category Theory for Fast Model Checking Algorithms

  Ichiro Hasuo

  Invited CONCUR FMICS Q+F 

Invited

• On the role of prose in specifications

  Jade Alglave

  LiveCONCUR 

• CONCUR Invited Talk 2

  Jean-François Raskin

  LiveCONCUR 

• Word Automata with Limited Nondeterminism

  Qiyi Tang

  LiveCONCUR 

• Reducing Time to Market through Formal Methods

  Colin O'Halloran

  LiveFMICS 

• Application of Formal Methods to Design and Verification of Autonomous Space Systems

  Julia Badger

  LiveFMICS 

• Reasoning About Probabilistic Loops, Moment by Moment

  Ezio Bartocci

  LiveJoint CONCUR FMICS Q+F 

• Category Theory for Fast Model Checking Algorithms

  Ichiro Hasuo

  Joint CONCUR FMICS Q+F 

• Supporting Older Adults Living Independently

  Jane Hillston

  LiveQ+F 

• Q+F Opening and Invited Talk 1

  Kim G. Larsen

  LiveQ+F 

CONCUR

• On the role of prose in specifications

  Jade Alglave

  LiveInvited 

• CONCUR Invited Talk 2

  Jean-François Raskin

  LiveInvited 

• Word Automata with Limited Nondeterminism

  Qiyi Tang

  LiveInvited 

• CONCUR Talk 1

• CONCUR Talk 2

• CONCUR Talk 3

• CONCUR Talk 4

• CONCUR Talk 5

• CONCUR Talk 6

• CONCUR Talk 7

• CONCUR Talk 8

• CONCUR Talk 9

• CONCUR Talk 10

• CONCUR Talk 11

• CONCUR Talk 12

• CONCUR Talk 13

• CONCUR Talk 14

• CONCUR Talk 15

• CONCUR Talk 16

• CONCUR Talk 17

• CONCUR Talk 18

• CONCUR Talk 19

• CONCUR Talk 20

• CONCUR Talk 21

• CONCUR Talk 22

• CONCUR Talk 23

• CONCUR Talk 24

• CONCUR Talk 25

• CONCUR Talk 26

• CONCUR Talk 27

• CONCUR Talk 28

• CONCUR Talk 29

• CONCUR Talk 30

• CONCUR Talk 40

• CONCUR Talk 41

• CONCUR Talk 42

• CONCUR Talk 31

• CONCUR Talk 32

• CONCUR Talk 33

• CONCUR Talk 34

• CONCUR Talk 35

• CONCUR Talk 36

• CONCUR Talk 37

• CONCUR Talk 38

• CONCUR Talk 39

• CONCUR Talk 43

• A New Type System for Deadlock-Free Processes

  Naoki Kobayashi

  Test of Time 

• Strategy Logic

  Nir Piterman

  Test of Time 

• Reasoning About Probabilistic Loops, Moment by Moment

  Ezio Bartocci

  LiveJoint Invited FMICS Q+F 

• Category Theory for Fast Model Checking Algorithms

  Ichiro Hasuo

  Joint Invited FMICS Q+F 

Q+F

• Reasoning About Probabilistic Loops, Moment by Moment

  Ezio Bartocci

  LiveJoint Invited CONCUR FMICS 

• Category Theory for Fast Model Checking Algorithms

  Ichiro Hasuo

  Joint Invited CONCUR FMICS 

• Supporting Older Adults Living Independently

  Jane Hillston

  LiveInvited 

• Q+F Opening and Invited Talk 1

  Kim G. Larsen

  LiveInvited 

• Q+F Talk 1

• Q+F Talk 2

• Q+F Talk 3

• Q+F Talk 4

• Q+F Talk 5

• Q+F Talk 6

• Q+F Talk 7

• Q+F Talk 8

• Q+F Talk 9

• Q+F Talk 10

• Q+F Talk 11

• Q+F Talk 12

• Q+F Talk 13

• Q+F Talk 14

• Q+F Talk 15

• Q+F Talk 16

• Q+F Talk 17

• Q+F Talk 18

• Q+F Talk 19

• Q+F Talk 20

• Q+F Talk 21

• Q+F Talk 22

• Q+F Talk 23

• Q+F Talk 24

• Q+F Talk 25

• Q+F Talk 26

• Q+F Talk 27

• Q+F Talk 28

• Q+F Talk29

• Q+F Talk 30

FMICS

• Reducing Time to Market through Formal Methods

  Colin O'Halloran

  LiveInvited 

• Application of Formal Methods to Design and Verification of Autonomous Space Systems

  Julia Badger

  LiveInvited 

• Panel Session discussing the Industrial use of Formal Methods

  Live

• Industrial Adoption of Formal Methods: An Industry Perspective on the Transition to SPARK for Security Critical Firmware Development

  Asieh Salehi Fathabadi, Mark Hermeling

• A Formally Verified N-Dimensional Safety Shield for Autonomous Systems

  Benjamin Puyobro, Paolo Crisafulli, Burkhart Wolff

• Deductive Verification of a Patricia Trie with Creusot

  Téo Bernier, Frédéric Loulergue, Nikolai Kosmatov

• Reasoning about concurrent loops and recursion with rely-guarantee rules

  Ian J. Hayes, Larissa Meinicke, Cliff Jones

• Consistency proofs for axiomatic extensions: translating VerCors's Axiomatic Data Types into Isabelle

  Edoardo Putti, Alexander Stekelenburg

• Exploiting the Layout of a Railway Interlocking System for Path Reliability Evaluation

  Alessandro Fantechi, Gloria Gori, Jacopo Zecchi

• Lazy Three-Way Model Merging in Cinco Cloud: A Lattice-Theoretic Approach

  Jonas Schürmann, Bernhard Steffen

• Domain-Specific 3D Visualization of Formal Models

  Max Richter, Fabian Vu

• FMICS Talk 9

• FMICS Talk 10

• Reasoning About Probabilistic Loops, Moment by Moment

  Ezio Bartocci

  LiveJoint Invited CONCUR Q+F 

• Category Theory for Fast Model Checking Algorithms

  Ichiro Hasuo

  Joint Invited CONCUR Q+F 

Express/SOS

• Express/SOS Workshop Session 1

  Live

• Express/SOS Workshop Session 2

  Live

• Express/SOS Workshop Session 3

  Live

• Express/SOS Workshop Session 4

  Live

SNR

• SNR Workshop Session 1

  Live

• SNR Workshop Session 2

  Live

• SNR Workshop Session 3

  Live

• SNR Workshop Session 4

  Live

Trends

• Trends Workshop Session 1

  Live

• Trends Workshop Session 2

  Live

• Trends Workshop Session 3

  Live

• Trends Workshop Session 4

  Live

YR-CONCUR

• YR-CONCUR Workshop Session 1

  Live

• YR-CONCUR Workshop Session 2

  Live

• YR-CONCUR Workshop Session 3

  Live

• YR-CONCUR Workshop Session 4

  Live

Test of Time

• A New Type System for Deadlock-Free Processes

  Naoki Kobayashi

  CONCUR 

• Strategy Logic

  Nir Piterman

  CONCUR