Australasian Association for Logic (AAL). There will be an additional workshop for students on the 14th. The Asian Logic Conference series is sponsored by the Association for Symbolic Logic, and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. It also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas. From 1981 to 2008, the Asian Logic Conference has been held triennially and rotated among countries in the Asia-Pacific region. The previous meetings took place in Singapore (1981), Bangkok (1984), Beijing (1987), Tokyo (1990), Singapore (1993) , Beijing (1996), Hsi-Tou (1999), Chongqing (2002), Novosibirsk (2005), Kobe (2008), and Singapore (2009). In 2008, the East Asian and Australasian Committees of the Association of Symbolic Logic decided to shorten the three-year cycle to two, following an initiative of the Association for Symbolic Logic. Previous meetings can be traced from this website. This is the most important logic meeting in Asia, and is now one of the two biggest logic meetings in the world outside of North America, the other being the European Logic Colloquium.
- Solomonoff 85th Memorial Conference Melbourne, Australia, 30 Nov.-2 Dec. 2011
- Australasian Association of Logic Annual Conference Wellington, New Zealand, 14-15 Dec. 2011
- Satellite Conference Analysis and Randomness Auckland, New Zealand, 12-13 Dec. 2011
- Hiroakira Ono (JAIST) (joint AAL)
- Mic Detlefsen (Notre Dame) (joint AAL)
- Akito Tsuboi (University of Tsukuba)
- Noam Greenberg (Victoria University Wellington)
- Simon Thomas (Rutgers University)
- Isaac Goldbring(UCLA)
- Grigor Sargsyan (Rutgers University)
- Wu Guohua (NTU, Singapore)
- Feng Qi and Hugh Woodin (set theory)
- Geoff Whittle (logical aspects of graphs and matroids)
- Andre Nies (algorithmic randomness)
- Rod Downey (computability and algebraic structures)
- Edwin Mares and Rob Goldblatt (modal logic)
- Renee Mattock is organising a cost effective wine tour to the Wairarapa which is approximately one hour out of Wellington. The cost is $150. This includes return transport (pickup and drop off outside the Cotton Buidling, Victoria University), 3 course meal, visits to 3 wineries, country scenes of the Wairarapa area and approximately a 30-45 minute township visit to Greytown. You can register your interest at the conference registration desk or click on the Wine Tour link on your left (this link will be available soon as its currently under construction).
- Prof Geoff Whittle is planning a possible hike in the Tararuas. This will come with a charge of $25 (to cover the cost of transport and a packed lunch). New Zealand has changeable weather and for this walk you will need sturdy footwear, warm clothing, water and food. The walk will take approx 6 hours. This must be paid for with registration.