https://resources.illc.uva.nl/LogicList/newsitem.php?id=9092
LICS 2019: Logic in Computer Science, 22-27 Jun 2019, Vancouver BC, Canada
logic in computer science
https://repository.rit.edu/theses/6893/
"Modal logic in computer science" by Leigh Lambert
Modal logic is a widely applicable method of reasoning for many areas of computer science. These areas include artificial intelligence, database theory,...
logic in computer sciencemodalleighlambert
https://conferences.mpi-inf.mpg.de/elics02/index.html
Symposium on the Effectiveness of Logic in Computer Science (ELICS02)
logic in computer scienceon thesymposiumeffectiveness