101 Reasons to Attend IJCAR 2008
- It can't be just a coincidence that
8.00/2 = 4
- It's sponsored by NICTA
- It's sponsored by
The Australian National University
- Sydney
is a great place for a conference
- You'll be able to watch some
footy
- John Slaney
will be there
- Edith Cowan University
was the birth place of the TPTP
- Climb Sydney harbour bridge
- It's where ROO
was developed
- It's where 'roos live
- Toby Walsh
moved to Australia from Ireland
- Western Australia
was "Home of the Americas Cup"
- There's a really Great Barrier Reef
- The
weather will be great
- You can catch a crocodile
(but not a sting ray)
- Melbourne is the home of the
Mercury project
- Think of all the
frequent flyer points you'll earn
- Australia has the
best cricket team
- Burger King is called
Hungry Jacks
- Norman Foo
is a good bloke
- Visit Uluru
- Collect your free copy of
KtSeqC,
a prover for the minimal tense logic Kt
- Find out what G12 is all about
- You should visit
Fraser island
-
Michael J. "Crocodile" Dundee lived in Walkabout Creek
- It's fun to swim at Bondi beach
- You can learn a lot from
Bob Meyer
- Learn to speak
"strine"
- Some great beers
are brewed in Australia
- Take a cruise on
Sydney harbour
- It's where the
Logic Summer School is held
- You can visit the
outback
- There was a
memorandum of understanding between ANU and ICOT
-
Graham Priest lives there
- It's quite unlikely that a
dingo took her baby
-
Mary-Anne Williams works in Australia
- CADE-14
was held in Townsville, Northern Queensland
- Australia has some
philosophers named Bruce
- Some
very good wines are available
- You can do some
logic for fun
- The Mad Max
movies were filmed in Australia
- Jia Meng
used to work there
- You can find out all about the
L4.verified project
- You could visit Yallingup
- Australia has strict
gun laws
- SCOTT
was developed in Australia
- You'll go to a dunny
- Rolf Harris
comes from Australia
- Google gives about 629000 hits for the query "
automated reasoning australia"
- Microsoft Live search gives about 62000 hits for the query "
automated reasoning australia"
- Australia is still part of the
Commonwealth
- Did you watch
Priscilla Queen of the Desert?
- Jeremy Dawson
does many interesting things
- Learn to sing
Waltzing Matilda
- Claude Sammut's
RoboCup team was quite good
- Work on your "seven summits" by climbing
Mount Kosciuszko
- Leon Sterling wrote a
good book about Prolog
- Imagine getting "Blotto at
Rotto"
- Sailing is a fun way to get from
Sydney to Hobart
- John Lloyd explained
the Foundations of Logic Programming
- There's a great venue for
singing
- You have to eat a
meat pie
- It's no longer necessary to be a
criminal
- Tasmania
really is part of Australia
- Andrew Trevorrow wrote OzTeX
- You can
toss another shrimp on the barbie
- Not many countries have had a
"conventicle"
on knowledge representation
- You can ride the
Manly ferry
- It'll make you think
- You should be satisfied talking to
Anbulagan
- You can go SCUBA diving on the wreck of the
SS Yongala
- You might see a sleeping
Koala bear
-
David Billington might tell you something plausible
- If you've nothing to do on Thursday, take a ferry to
an island
- Learn some
Australian songs
- You can visit the
formal methods group at the University of Western Australia
- Take a trip to meet the
three sisters
- See the three
heads
- Eat souvlaki in the
the third largest Greek city in the world
- Foster's
is brewed in Australia
- Learn to drink Kalua through a
TimTam
- Make up for having missed
AI07
- IJCAR is your best chance to get close to the
Galactic Centre
- Elvis Presley will not be there
(unless you believe!)
- Charles Darwin University
would have been better than Iowa for developing that ATP system
- See great white sharks up close
- Play golf with a
great white shark
- It's not
New Zealand (although that's quite close by)
- Australia has some
amazing people
- There are
7692024 square kilometers to visit
- There are
over 21 million people to meet
-
Swim with whale sharks on Ningaloo reef
- Vegemite!
- You can cross the
Nullarbor
- Join the Australasian Assocation for
Logic
- Bruce Litow is available
to answer questions about numbers
- It's a country whose
prime minister who held the yard-of-ale record at UWA
- You'll learn how to pronounce
AC/DC
- The
Gulf of Carpentaria is a place to breed cyclones
- Meet some old ANZACs and
show your (European) appreciation
- Remember another 101 reasons for visiting Australia