University of Calgary
UofC Navigation

rzach's blog

Visiting Research Chair in Logic or Philosophy of Science at the University of Calgary

Submitted by rzach on Wed, 03/19/2014 - 6:27pm

US$25,000 for 4 months (September 2015 or January 2016)

Contact: Brad Hector, Fulbright Canada Program Officer (Scholars)

The University of Calgary is pleased to offer the opportunity for a Fulbright Visiting Research Chair in Logic or the Philosophy of Science. The visiting researcher will be a part of the Department of Philosophy and collaborate with a dynamic research faculty and graduate students. The Department of Philosophy is internationally recognized in logic and the philosophy of science and home to 22 professors, including a Tier 1 Canada Research Chair in the philosophy of biology. The scholar will offer a combined seminar for senior undergraduate students and graduate students in his or her area of expertise, and will participate in departmental and interdisciplinary research groups while pursuing his or her own research projects. 

Specialization: History and philosophy of science, mathematical and philosophical logic.

Leslie Lamport wins Turing Award

Submitted by rzach on Tue, 03/18/2014 - 9:16am

The Association for Computing Machinery has awarded the 2013 Turing Award (the Computer Science equivalent of the Nobel Prize Fields Medal Schock Prize) to Leslie Lamport at Microsoft Research for his work on formal specification and verification techniques, specifically the Temporal Logic of Actions and his work on fault tolerance in distributed systems. Not as close to logic as some other Turing Laureates (is that what they're called?) but still a nice nod to the continued importance of formal methods derived in part from logic in CS. (Oh yeah, he also invented LaTeX.)

Site Feed

Subscribe to Syndicate