Association for Symbolic Logic
The Association for Symbolic Logic ( ASL ) is the largest international organization of logicians (mathematical logicians and philosophers). It was founded in 1936 and is based at Vassar College in Poughkeepsie in the US state of New York .
The first president was Alonzo Church . The current chairman is Alasdair Urquhart.
The ASL has two main conferences each year, one in the US and one in Europe ( Logic Colloquium ). She also organizes other conferences, for example regularly with the American Mathematical Society and the American Philosophical Society .
It awards several prizes: the Gödel Lecturer honors each year, the Shoenfield Prize (for outstanding representations of logic), which is awarded every three years, the Sacks Prize for outstanding doctoral theses and the Karp Prize , which is awarded every five years .
The organization publishes the Bulletin of Symbolic Logic , Journal of Symbolic Logic and Review of Symbolic Logic , as well as its own book series.
Web links
Individual evidence
- ↑ Archived copy ( memento of the original from September 30, 2011 in the Internet Archive ) Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice.
