<< back

Tools, tutorials and shortcuts

Detextify
Latex Formal Methods Reference
Emacs shortcuts
Version Control with Git by swcarpentry
The Unix Shell by swcarpentry

Interesting blogs, encyclopedias

Hillel Wayne blog
Stanford Encyclopedia of Philosophy
Internet Encyclopedia of Philosophy

Teaching resources

tes

Seminars & conferences

Chalmers online functional programming seminar series

Logic

Logic and set theory around the world
SIGLOG Monthly
LOGIC_list

Other

Why people don’t use formal methods