DMTCS'96 Participant Information Bulletin 2 ------------------------------------------- 2 December 1996 Contents: * Paying the Registration and Accommodation Fees * Conference Programme * Transport from Airport * Email and internet access during the conference * Auckland Visitor Centre Paying the Registration and Accommodation Fees --------------------------------------------- The registration fee and O'Rorke accomodation fee can be paid in full during the Sunday evening reception, or during Monday. We will accept Visa and Mastercard credit cards; unfortunately, we are unable to accept Bankcard, Diners and American Express. Alternatively, payment can be made by cheque in NZ dollars (made out to "University of Auckland"). Of course, we will also accept cash in NZ dollars. If you want to exchange some currency, there is a large selection of Bureaux de Change on Queen Street (5-10 minutes walk from the University or O'Rorke hall). (Registration Fee: NZ$250 or NZ$50 (students). O'Rorke accomodation NZ$65 (full board) NZ$50 (breakfast only) per night. EXTRA tickets for excursion-NZ$45 and dinner-NZ$50.) Conference Programme ---------------------- Changes in Programme: The conference will now conclude 1230 Friday (not 1530 as previously announced) There will be a "Survivors' Party" 1800 Friday at 29 James Evans Drive, Northcote. Food and drink will be provided. All invited. Programme: Sunday 8 December: Conference reception function. 7.30 - 9.30 pm, in Kirkness Room, Level 11, O'Rorke Hall. Monday 9 December: 0830-0900 -- Registration. Foyer Maths/Stats/Physics Building Level 1 0930-1030 -- Invited Speaker: Ron Graham Recent Random Ramsey Results 1100-1130 -- Jonathan Buss Sharply bounded alternation within $P$ 1130-1200 -- Margaret Morton A note on the growth rate of planar graphs 1200-1230 -- Ghulam Rasool Chaudhry Secret sharing schemes based on room squares 1400-1430 -- Giulia Galbiati On the logical definability of some maximum leaves problems 1430-1500 -- Hans Guesgen A formalization of anytime constraint satisfaction 1500-1530 -- Jane Hopkins A process algebraic view of linear logic 1600-1630 -- Gabriele Di Stefano Graph classes between parity and distance-hereditary graphs 1630-1730 -- Invited Speaker: Jeff Dinitz 200 Years of MOLS: The making of the new MOLS table 1800-1900 -- Poster Session (TBA) Tuesday 10 December: 0900-1000 -- Invited Speaker: Piergiorgio Odifreddi Indiscrete applications of discrete mathematics 1000-1030 -- Robert Goldblatt The functional lambda abstraction algebras form a variety 1100-1130 -- Charles Little A condition for a normal semicycle to separate an orientable 3-graph 1130-1200 -- Charles Alexander Semple $k$-Regular matroids 1200-1230 -- Marston Conder and Cameron Walker Sierpinski's gasket, 2-groups and graph symmetries 1400-1430 -- Peter Hertling Effectivity and effective continuity of functions between computable metric spaces 1430-1500 -- Yoshiki Tsujii and Mariko Yasugi Computability structures on metric spaces 1500-1530 -- Dieter Spreen Representations versus numberings: On two computability notions 1600-1630 -- Boris Pavlov Quantum electronic devices based on metal-dielectric transition low-dimensional quantum structures 1630-1730 -- Invited Speaker: Susumu Hayashi Constructive programming: A personal view 1930 -- Conference Dinner Wednesday 11 December: 0900-1000 -- Invited Speaker: Grzegorz Rozenberg Forbidding and enforcing 1030-1630 -- Excursion Thursday 12 December: 0900-1000 -- Invited Speaker: Gregory Chaitin An invitation to algorithmic information theory 1000-1030 -- Rod Downey The parameterized complexity of relational database queries and an improved characterization of $W[1]$ 1100-1130 -- Bakhadyr Khoussainov Categoricity and Scott families 1130-1200 -- Satoshi Matsuoka A new proof search method for linear logic 1200-1230 -- Mouw-ching Tjiok The role of Kripke semantics in reasoning of knowledge and time 1400-1430 -- Masami Ito A new pumping property of context-free languanges 1430-1500 -- Klaus Reinhardt Set Automata 1500-1530 -- Ryu Hasegawa The generating functions of lambda terms 1600-1630 -- Masami Ito On shuffle closure of commutative regular languages 1630-1730 -- Invited Speaker: Fan Chung Discrete isoperimetric inequalities 1800-1900 -- Poster Session (TBA) Friday 13 December: 0900-1000 -- Invited Speaker: Klaus Weirauch A foundation for computable analysis 1000-1030 -- Kai Salomaa EDTOL structual equivalence is decidable 1100-1130 -- Richard Anstee Recognizing diameter critical graphs 1130-1200 -- John Pearson The Hadwiger number for the product of two cycles 1200-1230 -- Hanno Lefmann Proper bounded edge-colorings Transport from Airport ---------------------- There are several companies running shuttle services TO and FROM the Auckland International Airport. The shuttles wait just outside the terminal building and are economical (~NZ$15 to ORorke Hall....also, ask about return tickets) and convenient (they run 24 hours a day). Auckland Airbus Services (airport-city-airport every 20 minutes) 275-9396 Shuttle Link Ltd (door to door) 275-1234 Super Shuttle (door to door) 307-0500 Taxis: Alert Taxis 309-2000 Citicabs 379-9199 Cost approx NZ$35 from Airport to O'Rorke hall. Flagfall is normally around $$2.00 and some companies will charge an extra 1.00 for a phone call or $extra luggage. Charges are not uniform from one company to another. Email and internet access during the conference ----------------------------------------------- A number of Apple Macintosh computers will be available for use by conference participants. The computers are connected to printing facilities and run Telnet and Netscape to access the internet. If you wish to access your email while in Auckland, please ask your local computer guru for instructions on how to connect to your email system via Telnet. Auckland Visitor Centre ----------------------- This is located on Queen Street adjacent to Aotea Square. They have an informative (and even semi-friendly) information line on 366-6888 ---------------------------------------------- All other conference details can be found on: http://www.cs.auckland.ac.nz/CDMTCS/docs/dmtcs96.html