Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q106338789)
Watch
English
36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020
academic conference
36th MFPS 2020: Online
In more languages
edit
Statements
instance of
academic conference
1 reference
stated in
dblp computer science bibliography
reference URL
https://dblp.org/db/conf/mfps/mfps2020.html
retrieved
8 March 2021
web conference
1 reference
stated in
dblp computer science bibliography
reference URL
https://dblp.org/db/conf/mfps/mfps2020.html
retrieved
8 March 2021
short name
MFPS 2020
(English)
1 reference
stated in
dblp computer science bibliography
reference URL
https://dblp.org/db/conf/mfps/mfps2020.html
retrieved
8 March 2021
title
36th Conference on the Mathematical Foundations of Programming Semantics
(English)
1 reference
stated in
dblp computer science bibliography
reference URL
https://dblp.org/db/conf/mfps/mfps2020.html
retrieved
8 March 2021
part of the series
Mathematical Foundations of Programming Semantics
series ordinal
36
1 reference
stated in
dblp computer science bibliography
reference URL
https://dblp.org/db/conf/mfps/mfps2020.html
retrieved
8 March 2021
main subject
semantics
1 reference
based on heuristic
inferred from title
point in time
1 October 2020
1 reference
stated in
dblp computer science bibliography
reference URL
https://dblp.org/db/conf/mfps/mfps2020.html
retrieved
8 March 2021
speaker
Gilles Barthe
0 references
Dexter Kozen
0 references
official website
https://www.sirteq.org/event/36th-international-conference-on-mathematical-foundations-of-programming-semantics-mfps-2020/
0 references
described at URL
https://dblp.org/db/conf/mfps/mfps2020.html
1 reference
stated in
dblp computer science bibliography
reference URL
https://dblp.org/db/conf/mfps/mfps2020.html
retrieved
8 March 2021
Sitelinks
Wikipedia
(0 entries)
edit
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit