#operationalsemantics — Public Fediverse posts

I am listening to the @ttforall podcast with Jimmy Koppel on which parts of CS theory all software engineers should learn about (see also his blog post from 2021 on why programmers should(n't) learn theory). Now I'm curious to learn which parts of "theory" you think are the most useful for a software engineer.

Please boost this so this also finds an audience beyond the types community!

#SoftwareEngineering #Education #TypeTheory #ProgramVerification #AbstractInterpretation #ProofAssistant #HoareLogic #ModelChecking #SMT #OperationalSemantics #CategoryTheory #DomainTheory

I am listening to the @ttforall podcast with Jimmy Koppel on which parts of CS theory all software engineers should learn about (see also his blog post from 2021 on why programmers should(n't) learn theory). Now I'm curious to learn which parts of "theory" you think are the most useful for a software engineer.

Please boost this so this also finds an audience beyond the types community!

#SoftwareEngineering #Education #TypeTheory #ProgramVerification #AbstractInterpretation #ProofAssistant #HoareLogic #ModelChecking #SMT #OperationalSemantics #CategoryTheory #DomainTheory

I am listening to the @ttforall podcast with Jimmy Koppel on which parts of CS theory all software engineers should learn about (see also his blog post from 2021 on why programmers should(n't) learn theory). Now I'm curious to learn which parts of "theory" you think are the most useful for a software engineer.

Please boost this so this also finds an audience beyond the types community!

#SoftwareEngineering #Education #TypeTheory #ProgramVerification #AbstractInterpretation #ProofAssistant #HoareLogic #ModelChecking #SMT #OperationalSemantics #CategoryTheory #DomainTheory

I am listening to the @ttforall podcast with Jimmy Koppel on which parts of CS theory all software engineers should learn about (see also his blog post from 2021 on why programmers should(n't) learn theory). Now I'm curious to learn which parts of "theory" you think are the most useful for a software engineer.

Please boost this so this also finds an audience beyond the types community!

#SoftwareEngineering #Education #TypeTheory #ProgramVerification #AbstractInterpretation #ProofAssistant #HoareLogic #ModelChecking #SMT #OperationalSemantics #CategoryTheory #DomainTheory

I am listening to the @ttforall podcast with Jimmy Koppel on which parts of CS theory all software engineers should learn about (see also his blog post from 2021 on why programmers should(n't) learn theory). Now I'm curious to learn which parts of "theory" you think are the most useful for a software engineer.

Please boost this so this also finds an audience beyond the types community!

#SoftwareEngineering #Education #TypeTheory #ProgramVerification #AbstractInterpretation #ProofAssistant #HoareLogic #ModelChecking #SMT #OperationalSemantics #CategoryTheory #DomainTheory

#CallForPapers #EXPRESS / #SOS 2023 (Combined Workshops on Expressiveness in Concurrency and Structural Operational Semantics) "aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models" https://express-sos.github.io/ #concurrency #operationalSemantics #TCS

#CallForPapers #EXPRESS / #SOS 2023 (Combined Workshops on Expressiveness in Concurrency and Structural Operational Semantics) "aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models" https://express-sos.github.io/ #concurrency #operationalSemantics #TCS

#CallForPapers #EXPRESS / #SOS 2023 (Combined Workshops on Expressiveness in Concurrency and Structural Operational Semantics) "aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models" https://express-sos.github.io/ #concurrency #operationalSemantics #TCS

#CallForPapers #EXPRESS / #SOS 2023 (Combined Workshops on Expressiveness in Concurrency and Structural Operational Semantics) "aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models" https://express-sos.github.io/ #concurrency #operationalSemantics #TCS

#CallForPapers #EXPRESS / #SOS 2023 (Combined Workshops on Expressiveness in Concurrency and Structural Operational Semantics) "aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models" https://express-sos.github.io/ #concurrency #operationalSemantics #TCS