Author
prev ...
European Summer School in Logic, Language, and Information Copenhagen, Denmark)
1
Fehnker, Ansgar,
1
Fernández, Maribel,
1
FoIKS (Symposium)
1
FoIKS (Symposium) Dortmund, Germany)
1
Fodor, Paul,
1
Fuji International Symposium on Functional and Logic Programming
1
Fuji International Symposium on Functional and Logic Programming Online)
1
Gaggl, Sarah,
1
Gallina, Barbara,
1
Giesl, Jürgen
1
Goertzel, Ben
1
Governatori, Guido
1
Gribaudo, Marco, 1972-
1
Gurfinkel, Arie,
1
Herzig, Andreas, 1949-
1
Hähnle, Reiner
1
Hähnle, Reiner,
2
IJCAR (Conference)
1
IJCAR (Conference) Edinburgh, Scotland)
1
ITP (Conference)
1
ITP (Conference) Edinburgh, Scotland)
1
Iacono, Mauro, 1975-
3
International Conference on Artificial Intelligence Logic and Applications
1
International Conference on Artificial Intelligence Logic and Applications Changchun, China)
1
International Conference on Deontic Logic in Computer Science
1
International Conference on Deontic Logic in Computer Science Fiesole, Italy)
1
International Conference on Integrated Formal Methods
1
International Conference on Integrated Formal Methods Online)
1
International Conference on Software Engineering and Formal Methods
1
International Conference on Software Engineering and Formal Methods Online)
1
International Haifa Verification Conference
2
International Haifa Verification Conference Haifa, Israel)
2
International Workshop on Assurance Cases for Software-Intensive Systems
1
JELIA (Conference)
2
JELIA (Conference) Dresden, Germany)
1
JELIA (Conference) Larnaca, Cyprus)
1
Jirásková, Galina,
1
Jøsang, Audun,
1
Kakas, Antonis C.,
1
Kari, J.
1
Kaufmann, Matt
1
Kontinen, Juha,
1
LOPSTR (Symposium)
1
LOPSTR (Symposium) Online)
1
LPAR (Conference)
2
LPAR (Conference) Mérida, Venezuela)
1
LPAR (Conference) Suva, Fiji)
1
Lassiter, Daniel
1
Longo, Francesco,
1
more ...