Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!news.sprintlink.net!EU.net!Germany.EU.net!Munich.Germany.EU.net!ecrc!acrab60!thom
From: thom@ecrc.de (Thom Fruehwirth)
Subject: Constraint Reasoning Tutorial
Message-ID: <D52xB5.437@ecrc.de>
Sender: news@ecrc.de
Reply-To: thom@ecrc.de
Organization: European Computer-Industry Research Centre GmbH.
Date: Tue, 7 Mar 1995 16:47:29 GMT
Lines: 1085



[Sorry if you receive this message more than once]

================================================================================

AISB-95 The Tenth Biennial Conference on AI and Cognitive Science

	Sheffield, England

	Monday 3rd -- Friday 7th April 1995


TUTORIAL ANNOUNCEMENT ----------------------------------------------------------

Title: Constraint Reasoning - Build Your Own Solver

Duration: 1 Day

Date: Mon, April 3

Description:

    A special purpose concurrent high-level language for writing constraint
    systems called Constraint Handling Rules (CHRs) is introduced by means of
    examples shown running on a computer. This is also an excellent
    opportunity to learn about classical constraint systems (over Booleans and
    numbers for equation solving) as well as novel constraint systems (for
    temporal and geometric reasoning), to see how they can be implemented in a
    straightforward way and how they are applied to solve real-life problems.

    First, the history and state-of-the-art of constraint-based programming
    are given. We then identify the "black-box solver" problem encountered in
    real-life applications and propose a solution, namely a special purpose
    programming language for writing constraint systems, CHRs.  We introduce
    syntax, semantics and pragmatics of the language. The CHR language has
    been implemented in 1993 as a library of ECRC's constraint logic
    programming platform ECLiPSe. CHRs have been used to implement a variety
    of constraint systems.

    We explain how to solve Boolean constraints and how to use them in circuit
    design. We show how to solve linear equations over numbers and how to use
    them to do financial analysis. We also look at two novel constraint
    domains: One is temporal reasoning, where we will solve the workshop
    murder mystery, the other is geometric reasoning. We present an
    application study for SIEMENS in the domain of telecommunications. The
    color-graphic demonstrator involves geometric constraints to find the
    optimal placement of senders for wireless portable devices (e.g. portable
    phones).

Prerequisites:

No specific background knowledge is required to access the tutorial.

Audience:

    The target audience is people interested in practical aspects of
    artificial intelligence based on the solid formal framework of classical
    logic, for which constraint reasoning is the example.

Presenter:

    Thom Fruehwirth
    European Computer-Industry Research Centre
    Munich, Germany
    Email: thom@ecrc.de

    Thom Fruehwirth received a Master (1986) and PhD (1990) in Computer
    Science from the Technical University of Vienna, Austria, in the area of
    logic programming.

    From 1986 to 1990 he was a assistant at the Computer Science Department of
    the University. In 1989 he received a one year Fulbright grant to the
    State University of New York. In 1990, he was invited to the Weizmann
    Institute of Science, Israel. In 1991, Thom Fruehwirth joined ECRC
    (European Computer-Industry Research Centre) to work on constraint logic
    programming.

    He has given recent tutorials about constraint handling at the Spring
    School on Constraints, Chatillon/Seine, France, in May 1994 and at the
    German Workshop on Logic Programming, Zurich, Switzerland, in October
    1994. At the moment, Thom Fruehwirth is giving a course on Constraint
    Reasoning at the Ludwig-Maximilian-University in Munich.


================================================================================



11 0000000  TH
11 0     0
11 0     0       ANNIVERSARY AISB CONFERENCE
11 0     0
11 0000000       AISB-95

                 The Tenth Biennial Conference on AI and Cognitive Science

                 SHEFFIELD, ENGLAND


                 Monday 3rd -- Friday 7th April 1995

                                     THEME
                        Hybrid Problems, Hybrid Solutions


                                 PROGRAMME CHAIR
                    John Hallam (University of Edinburgh)


                            WORKSHOPS/TUTORIALS CHAIR
                   Robert Gaizauskas (University of Sheffield)


                       CONFERENCE CHAIR/LOCAL ORGANISATION
                   Paul  Mc Kevitt   (University of Sheffield)



            Halifax Hall of Residence & Computer Science Department
                            University of Sheffield
                               Sheffield, ENGLAND


                                   HOSTED BY
             The Society for the Study of Artificial Intelligence
                     and Simulation of Behaviour (SSAISB)
                                     and
                      The Department of Computer Science
                            (University of Sheffield)

                             IN COOPERATION WITH
                                Departments of
                  Automatic Control and Systems Engineering,
                  Information Studies, Philosphy, Psychology

              Artificial Intelligence Vision Research Unit (AIVRU)
                  Hang-Seng Centre for Cognitive Studies
            Institute for Language, Speech and Hearing (ILASH)
                          (University of Sheffield)

                      Dragon Systems UK Limited (Melvyn Hunt)
                             LPA Limited (Clive Spenser)
                  Sharp Laboratories Europe Limited (Paul Kearney)
                          Wisepress Limited (Penelope G.Head)


                               MAIN CONFERENCE
                    Wednesday 5th - Friday 7th April 1995

                            WORKSHOPS AND TUTORIALS
                     Monday 3rd - Tuesday 4th April 1995



                               INVITED SPEAKERS

                        +++ Professor ALEX GAMMERMAN +++
     (Department of Computer Science, Royal Holloway/New Bedford College,
                            University of London, England)

                        +++ Professor MALIK GHALLAB +++
                         (LAAS-CNRS, Toulouse, France)

                          +++ Professor GRAEME HIRST +++
         (Department of Computer Science, University of Toronto, Canada)

                          +++ Professor JOHN MAYHEW +++
                   (AIVRU, University of Sheffield, England)

                         +++ Professor NOEL SHARKEY +++
       (Department of Computer Science, University of Sheffield, England)


                                PROGRAMME CHAIR

                   John Hallam    (University of Edinburgh)


                              PROGRAMME COMMITTEE

                   Dave Cliff     (University of Sussex)
                   Erik Sandewall (University of Linkoeping)
                   Nigel Shadbolt (University of Nottingham)
                   Sam Steel      (University of Essex)
                   Yorick Wilks   (University of Sheffield)


                           WORKSHOPS/TUTORIALS CHAIR

                 Robert Gaizauskas (University of Sheffield)


                    CONFERENCE CHAIR/LOCAL ORGANISATION

                  Paul  Mc Kevitt (University of Sheffield)


                        LOCAL ORGANISATION COMMITTEE

                 Phil Green      (University of Sheffield)
                 Jim McGregor    (University of Sheffield)
                 Bob Minors      (University of Sheffield)
                 Tony Prescott   (University of Sheffield)
                 Tony Simons     (University of Sheffield)


                                  PUBLICITY

                  Malcolm Crawford (University of Sheffield)
                      Mark Lee (University of Sheffield)
                   Derek Marriott (University of Sheffield)
                           Simon Morgan (Cambridge)


                           ADMINISTRATIVE ASSISTANT

                     Gill Wells  (University of Sheffield)


                                 AISB OFFICE
                           (UNIVERSITY OF SUSSEX)

                            Peter Ross (Chairman)
                           Roger Evans (Treasurer)
                          Chris Thornton (Secretary)
                       Alison White (Executive Office)


                                   THEME

The world's oldest AI society, the Society for the Study of Artificial
Intelligence  and  the Simulation  of Behaviour  (AISB), will hold its
Tenth  Biennial  International   Conference  at  The    University  of
Sheffield.

The   past   few   years  have seen     an   increasing  tendency  for
diversification in  research  into Artificial  Intelligence, Cognitive
Science and Artificial  Life.    A  number  of approaches  are   being
pursued, based variously on  symbolic reasoning, connectionist systems
and models, behaviour-based systems, and  ideas from complex dynamical
systems.   Each has its    own particular  insight  and  philosophical
position.

This variety   of  approaches appears    in all areas   of  Artificial
Intelligence.    There are  both  symbolic and   connectionist natural
language   processing,   both classical  and   behaviour-based  vision
research, for instance.

While purists from  each approach may claim that  all the problems  of
cognition can  in  principle  be  tackled  without recourse  to  other
methods, in  practice  (and  maybe  in theory,  also)  combinations of
methods  from the different    approaches  (hybrid methods) are   more
successful than a pure approach  for certain kinds  of problems.   The
committee  feels  that  there  is  an  unrealised synergy between  the
various   approaches   that   an   AISB  conference may   be   able to
explore.  Thus,  the focus of  the tenth   AISB Conference is  on such
hybrid methods.

The AISB  conference is a  single track conference lasting three days,
with  a two day   tutorial and workshop  programme  preceding the main
technical  event,   and around   twenty high   calibre papers will  be
presented in the technical sessions.  Five  invited talks by respected
and entertaining world class researchers  complete the programme.  The
proceedings of the  conference will be published in  book form  at the
conference  itself, making  it  a forum  for  rapid  dissemination  of
research results.

The preliminary programme for the  conference is attached below.  Note
that  the   organisers reserve the   right to  alter the  programme as
circumstances dictate,  though every effort will be  made to adhere to
the provisional timings and calendar of events given below.


__________________________________________________________________________

                                   PROGRAMME
__________________________________________________________________________


Monday 3rd April, 1995

[all day]       WORKSHOPS AND TUTORIAL PROGRAMME


Tuesday 4th April, 1995

[all day]       WORKSHOPS AND TUTORIAL PROGRAMME


6.00-9.00       REGISTRATION RECEPTION, HALIFAX HALL, UNIVERSITY OF SHEFFIELD


Wednesday 5th April, 1995

08:00-on        REGISTRATION

09:00           Chair opening address:
                Paul Mc Kevitt, Conference Chair/Local Organisation
                (University of Sheffield)

09:10           HOD opening address:
                Colin Smythe, Head of Department of Computer Science
                (University of Sheffield)

09:20           Programme Chair opening address:
                John Hallam, Programme Chair
                (University of Edinburgh)


09:30-10:30 Invited Talk -- Professor Malik Ghallab,
        LAAS-CNRS, Toulouse, France.

10:30-11:00 Break

11:00-12:45 3 Papers

    ``An Introduction to Dynamic Symbol Systems'',
    Herbert Jaeger, Faculty of Technology,
    University of Bielefeld, Germany.

    ``Reactive Systems in Physical Environments'',
    Simin Nadjm-Tehrani, Department of Computer and
    Information Science, Linkoping University, Sweden.

    ``From Numerical Observations to Propositional
    Representations: A Cognitive Methodology to
    Structure Hybrid Spatial Knowledge in the WIRE
    project'', Mario Borillo, IRIT Toulouse and Herve
    Pensec, SOGERMA-SOCEA, Groupe Aerospatiale, Merignac, France.

12:45-14:15 Lunch

14:15-16:00 3 Papers

    ``Decisions, decisions:  Knowledge goals in planning'',
    Louise Pryor, Department of Artificial Intelligence,
    University of Edinburgh, Scotland.

    ``Knowing how:  a semantic approach'', Sam Steel,
    Department of Computer Science, University of
    Essex, England.

    ``A Meta-Level Framework for Exploring Conflicts
    in Multiple Knowledge Bases'', Mandy Haggith,
    Department of Artificial Intelligence, University
    of Edinburgh, Scotland.

16:00-16:30 Break

16:30-17:50 2 Papers

    ``Unsatisfied Variables in Local Search'', Ian Gent,
    Department of Artificial Intelligence, University
    of Edinburgh and Toby Walsh, Mechanized Reasoning
    Group, IRST, Genoa, Italy.

    ``An Attempt to Map the Performance of a Range
    of Algorithm and Heuristic Combinations'',
    Edward P.K. Tsang, James E. Borrett and Alvin
    C.M. Kwan, Department of Computer Science,
    University of Essex, England.

20:00           CONFERENCE RECEPTION, SHEFFIELD KELHAM ISLAND INDUSTRIAL
                MUSEUM (WITH DON RIVER LIVE STEAM ENGINE)


                                **********************

Thursday 6th April, 1995

09:15-10:15 Invited Talk -- Professor John Mayhew,
        AIVRU, University of Sheffield, England.

10:15-10:45 Break

10:45-12:30 3 Papers

    ``The SOMASS System:  a Hybrid Symbolic and
    Behaviour-based System to Plan and Execute
    Assemblies by Robot'', Chris Malcolm, Department
    of Artificial Intelligence, University of
    Edinburgh, Scotland.

    ``Multiple Agent Systems for Configuration Design'',
    Stuart Watt, Zdenek Zdrahal, Knowledge Media
    Institute, Open University & Mike Brayshaw,
    School of Computer Science, University of Birmingham, England.

    ``Symbolic and Continuous Proceses in the Automatic
    Selection of Actions'', R Cooper, Tim Shallice &
    Jonathan Farringdan, Department of Psychology,
    University College, London, England.

12:30-14:00 Lunch

14:00-15:00 Invited Talk -- Professor Noel Sharkey,
        Department of Computer Science, University
        of Sheffield, England.

15:00-15:20 Break

15:20-16:30 2 Papers

    ``A Neural Network Decision-Support Tool for the
    Diagnosis of Breast Cancer'', Joseph Downs,
    Robert F Harrison, Department of Automatic Control &
    Systems Engineering, University of Sheffield and
    Simon S Cross, Department of Pathology, University
    of Sheffield Medical School, England.

    ``RULEX & CEBP Networks As the Basis for a Rule Refinement
    System'', R Andrews & Shlomo Geva, Neurocomputing Research
    Centre, Queensland University, Australia.

16:30-16:50 Break

16:50-18:00 2 Papers

    ``A Heuristic for General Rule Extraction from a
    Multilayer Perceptron'', Zhe Ma & Robert F Harrison,
    Department of Automatic Control & Systems Engineering,
    University of Sheffield & R. Lee Kennedy, Department
    of Medicine, University of Edinburgh, Scotland.

    ``An Adaptive State Machine For Use In Unsupervised Parallel
    Learning Systems'', Christopher J Holgate & Thomas J W Clarke,
    Neural Systems Engineering Group, Imperial College, England.


20:00           CONFERENCE BANQUET, HALIFAX HALL
21:00           After dinner speech by DISTINGUISHED SEASONED AI RESEARCHER


                                **********************

Friday 7th April, 1995

09:15-10:15 Invited Talk -- Professor Graeme Hirst
        Department of Computer Science,
                University of Toronto, Canada

10:15-10:45 Break

10:45-12:30 3 Papers

    ``Towards Learning Semantics of Spontaneous
    Dialog Utterances in a Hybrid Framework'',
    Volker Weber and Stefan Wermter, Computer
    Science Department, University of Hamburg, Germany.

    ``Knowledge Acquisition Using Metaphors'', Asoka S
    Karunananda, Hyacinth S Nwana & Pearl Brereton,
    Department of Computer Science, University of
    Keele, England.

    ``Grounding DTMs:  An Interview Tool for Acquiring
    Meta-Strategic Teaching Knowledge'', Nigel Major
    and Kieron O Hara, Department of Psychology,
    University of Nottingham, England.

12:30-14:00 Lunch

14:00-15:00 Invited Talk -- Professor Alex Gammerman,
        Dept of Computer Science, Royal Holloway and
        New Bedford College, University of London, England.

15:00-15:20 Break

15:20-16:30 2 Papers

    ``Towards Hybrid Nonmonotonic Reasoning Systems'',
    James P Delgrande, School of Computer Science,
    Simon Fraser University, Canada & Torsten H Schaub,
    IRISA, Rennes, France.

    ``Why Some Hybrid Solutions aren't Really Solutions
    (and Why Others aren't Really Hybrid)'', Bradley Franks,
    Department of Psychology, London School of Economics &
    Richard Cooper, Department of Psychology, University
    College, London, England.

16:30-17:00 Conference ends.

========================================================================

                         **********************************
________________________________________________________________________

                          WORKSHOPS AND TUTORIALS PROGRAMME

                         Monday 3rd - Tuesday 4th April 1995

                  (SEE WWW FOR MORE DETAILS ON WORKSHOPS/TUTORIALS)
________________________________________________________________________


                                     *************
                                       WORKSHOPS
                                     *************


Organiser        Title                                          Mon     Tue
===============================================================================

(1) [CODE W1]
D. Bridge       Engineering Knowledge-Based Systems                      X

        *** CANCELLED 16/2/95 ***

(2) [CODE W2]
T. Fogarty      Evolutionary Computing                           X       X
(University of West England, England)
    Point of Contact: Terence Fogarty: tc_fogar@pat.uwe.ac.uk
    Details from:
        anonymous ftp:  ftp.cogs.susx.ac.uk
                        pub/aisb/aisb95/evolutionary_computing_workshop_cfp
        www:            http://www.cogs.susx.ac.uk/aisb/aisb95

(3) [CODE W3]
A. Ireland      2nd Workshop on Automated Reasoning:                     X
                Bridging the Gap Between Theory and Practice
(University of Edinburgh, Scotland)
    Point of Contact: Andrew Ireland: a.ireland@ed.ac.uk
    Details from:
        anonymous ftp:  ftp.cogs.susx.ac.uk
                        pub/aisb/aisb95/automated_reasoning_workshop_cfp
        www:            http://www.cogs.susx.ac.uk/aisb/aisb95

(4) [CODE W4]
B. Jones        Postgraduate Workshop                            X       X
(University of Edinburgh, Scotland)
    Point of Contact: B. Jones: bernie@cogsci.ed.ac.uk
    Details from:
        anonymous ftp:  ftp.cogs.susx.ac.uk
                        pub/aisb/aisb95/postgrad_workshop_cfp
        www:            http://www.cogs.susx.ac.uk/aisb/aisb95

(5) [CODE W5]
A. Narayanan    Language Visualisation                           X
(University of Exeter, England)
    Point of Contact: A.Narayanan: ajit@dcs.exeter.ac.uk.
    Details from:
        anonymous ftp:  ftp.cogs.susx.ac.uk
                        pub/aisb/aisb95/language_vis_workshop_cfp
        www:            http://www.cogs.susx.ac.uk/aisb/aisb95

(6) [CODE W6]
S. O Nuallain   Reaching for mind:                               X       X
                Foundations of Cognitive Science
(Dublin City University, Ireland)
(National Research Council, Canada)
P. Mc Kevitt
(University of Sheffield, England)
    Point of Contact: Sean O Nuallain: onuallains@dcu.ie
    Details from:
        anonymous ftp:  ftp.cogs.susx.ac.uk
                        pub/aisb/aisb95/cogsci_workshop_cfp
        www:            http://www.cogs.susx.ac.uk/aisb/aisb95

(7) [CODE W7]
T. Prescott     Mobile Robotics                                          X
(University of Sheffield, England)
    Point of Contact: Tony Prescott T.Prescott@aivru.sheffield.ac.uk.
    Details from:
        anonymous ftp:  ftp.cogs.susx.ac.uk
                        pub/aisb/aisb95/mobile_robotics_workshop_cfp
        www:            http://www.cogs.susx.ac.uk/aisb/aisb95

(8) [CODE W8]
M. Rosner       AI Education -- Goals, Courses, Resources        X
(IDSIA, Lugano, Switzerland)
    Point of Contact: Michael Rosner aisb@idsia.ch
    Details from:
        anonymous ftp:  ftp.cogs.susx.ac.uk
                        pub/aisb/aisb95/ai_ed_workshop_cfp
        www:            http://www.cogs.susx.ac.uk/aisb/aisb95


                                     *************
                                       TUTORIALS
                                     *************

Organiser        Title                                          Mon     Tue
==============================================================================

(1) [Code T1]
D. Benyon       Intelligent user interfaces                              X
(Open University, England)
    Details from:
        anonymous ftp:  ftp.cogs.susx.ac.uk
                        pub/aisb/aisb95/intelligent-ui-tutorial
        www:            http://www.cogs.susx.ac.uk/aisb/aisb95

(2) [Code T2]
M. Fisher       Programming with Temporal Logics                X(afternoon only)
(Manchester Metropoliton University, England)
    Details from:
        anonymous ftp:  ftp.cogs.susx.ac.uk
                        pub/aisb/aisb95/prog-temp-log-tutorial
        www:            http://www.cogs.susx.ac.uk/aisb/aisb95

(3) [Code T3]
T. Fruehwirth   Constraint Reasoning - Build Your Own Solver    X
    Details from:
        anonymous ftp:  ftp.cogs.susx.ac.uk
                        pub/aisb/aisb95/constraint-reasoning-tutorial
        www:            http://www.cogs.susx.ac.uk/aisb/aisb95

(4) [Code T4]
M. Patel        GA+NN Hybrid Systems                            X
    Details from:
        anonymous ftp:  ftp.cogs.susx.ac.uk
                        pub/aisb/aisb95/ga_nn_tutorial
        www:            http://www.cogs.susx.ac.uk/aisb/aisb95

(5) [Code T5]
F. Ritter       SOAR Cognitive Architecture                     X
(University of Nottingham, England)
    Details from:
        anonymous ftp:  ftp.cogs.susx.ac.uk
                        pub/aisb/aisb95/soar_tutorial
        www:            http://www.cogs.susx.ac.uk/aisb/aisb95

(6) [Code T6]
S. Zrehen       PerAc: A Modular Neural Network
                       Architecture for Autonomous Robots                X
(Lausanne University, Switzerland)
    Details from:
        anonymous ftp:  ftp.cogs.susx.ac.uk
                        pub/aisb/aisb95/perac_tutorial
        www:            http://www.cogs.susx.ac.uk/aisb/aisb95


                         *************************

                          DEMOS/OPEN DAYS/SERVICES

Information   on demos  by  The  Departments of  Computer  Science and
Psychology on current research projects  in  AI and Cognitive  Science
will be provided  during   the conference.   Also,  the Department  of
Computer Science will have open days where delegates at the conference
can meet researchers. It is intended that  the Department will provide
on site FTP/WWW and E-mail services to delegates.

                          *************************

________________________________________________________________________

                             GENERAL INFORMATION
__________________________________________________________________________

                             CONTACT ADDRESSES:

AISB-95 CONFERENCE CHAIR/LOCAL ORGANISATION:

Paul Mc Kevitt
Department of Computer Science
Regent Court
211 Portobello Street
University of Sheffield
GB- S1 4DP, Sheffield
England, UK, EU.

E-mail:    p.mckevitt@dcs.shef.ac.uk
WWW:       http://www.dcs.shef.ac.uk/
WWW:       http://www.shef.ac.uk/
Ftp:       ftp.dcs.shef.ac.uk
FaX:       +44 (0) 114-278-0972
Phone:     +44 (0) 114-282-5572 (Office)
                       282-5596 (Lab.)
                   282-5590 (Secretary)


AISB-95 WORKSHOPS AND TUTORIALS CHAIR:

    Dr. Robert Gaizauskas
    Department of Computer Science
    University of Sheffield
    211 Portobello Street
    Regent Court
    Sheffield S1 4DP
    U.K.

    E-mail:  robertg@dcs.shef.ac.uk
    WWW:     http://www.dcs.shef.ac.uk/
    WWW:     http://www.shef.ac.uk/
    Ftp:     ftp.dcs.shef.ac.uk
    FaX:     +44 (0) 114 278-0972
    Phone:   +44 (0) 114 278-5572



AISB-95 PROGRAMME CHAIR:

        John Hallam
        Department of Artificial Intelligence
        University of Edinburgh
        5 Forrest Hill
        Edinburgh EH1 2QL
        SCOTLAND.

        E-mail: john@aifh.edinburgh.ac.uk
        FAX:    + 44 (0) 1 31 650 6899
        Phone:  + 44 (0) 1 31 650 3097



SHEFFIELD:

Sheffield is one of the friendliest cities  in Britain and is situated
well having the best and  closest surrounding countryside of any major
city in the  UK.  The  Peak  District  National Park  is only  minutes
away. It is  a good city for walkers,  runners, and climbers.  It  has
two theatres,  the Crucible    and Lyceum.  The Lyceum,   a  beautiful
Victorian theatre,  has recently been renovated.   Also,  the city has
three 10 screen cinemas.  There is a library  theatre which shows more
artistic films. The  city has a large number  of museums many of which
demonstrate Sheffield's industrial  past, and  there  are a  number of
Galleries  in the City,  including the Mapping  Gallery and Ruskin.  A
number  of important  ancient houses are   close to  Sheffield such as
Chatsworth House. The Peak District  National Park is a beautiful site
for visiting and rambling upon.  There are large shopping areas in the
City Sheffield is served  by  a 'supertram' system:   the line to  the
Meadowhall shopping and leisure complex is already open.

The University of  Sheffield's Halls of Residence  are situated on the
western side of the city in a leafy residential area described by John
Betjeman  as ``the  prettiest suburb in   England''.  Halifax Hall  is
centred on a local Steel Baron's house, dating back to 1830 and set in
extensive grounds.   It  was acquired by the    University in 1830 and
converted  into a Hall of  Residence for women  with the addition of a
new wing. The Botanical Gardens and BROOMHILL area are a stone's throw
away.


ARTIFICIAL INTELLIGENCE AT SHEFFIELD:

Sheffield Computer  Science  Department  has  a strong   programme  in
Cognitive Systems and has     a large reseach group   (AINN)  studying
Artificial Intelligence and Neural Networks.  It is strongly connected
to the    University's  Institute for  Language,   Speech and  Hearing
(ILASH).  ILASH has  its own machines and  support staff, and academic
staff attached  to  it  from  nine departments.   Sheffield Psychology
Department  has the    Artificial Intelligence Vision   Research  Unit
(AIVRU) which   was    founded  in  1984    to   coordinate   a  large
industry/university   Alvey  research  consortium   working   on   the
development of   computer vision systems  for autonomous  vehicles and
robot workstations.  Sheffield Philosophy Department has the Hang Seng
Centre for  Cognitive   Studies,   founded in  1992,  which  runs    a
workshop/conference series   on   a  two-year   cycle on   topics   of
interdisciplinary  interest. (1992-4:  'Theory  of  mind';  1994-   6:
'Language   and thought'.) The   Department  of Automatic Control  and
Systems Engineering is conducting  research  into Neural Networks  for
Medical and other applications.

AI and  Cognitive Science researchers at  Sheffield include Guy Brown,
Peter Carruthers,  Malcolm  Crawford,   Joe Downs, Phil   Green,  John
Frisby, Robert Gaizauskas,  Rob  Harrison, Mark Hepple, Zhe  Ma,  John
Mayhew, Jim  McGregor, Paul Mc Kevitt, Bob  Minors, Rod Nicolson, Tony
Prescott, Peter Scott, Steve Renals, Noel Sharkey, and Yorick Wilks.


VENUE
The venue for registration and all conference events is:

    Halifax Hall of Residence,
    Endcliffe Vale Road,
    GB- S10 5DF, Sheffield,
        UK, EU.

    FaX: +44 (0) 114-266-3898
    Tel: +44 (0) 114-266-3506 (24 hour porter)
    Tel: +44 (0) 114-266-4196 (manager Norma Taylor)


TRANSPORT
Sheffield is in  the centre of Britain  and is easily reached  through
Manchester International Airport. There    are frequent  trains   from
Manchester to Sheffield.  Also, the train  from London is around 2 and
1/2 hours.   There   are also airports   at Leeds/Bradford,  Midlands,
Birmingham and Liverpool.

FOR ANYONE COMING FROM EACL-95 (DUBLIN) THERE  ARE FLIGHTS FROM DUBLIN
TO **MANCHESTER**, LEEDS,  LIVERPOOL, LONDON, MIDLANDS ON RYANAIR, AER
LINGUS, BRITISH MIDLANDS.

Halifax Hall  is one mile from  Sheffield's city centre, and is easily
reached from   Sheffield Station by  bus or  taxi, and from Manchester
International Airport  and train to Sheffield.  The  # 50 bus from the
station  will drop you  off at the Botanical  Gardens but we recommend
taking a taxi  for around 3.50 pounds if  you have heavy cases.   Full
travel details will be sent on registration.

ACCOMMODATION
Single and double room accommodation  has been reserved for conference
delegates in  Halifax Hall. Delegates  preferring  to stay  at a hotel
must book their own accommodation,  though names of nearby hotels  are
available on request.

COMPUTER SERVICES
It is intended that the Department of Computer Science will provide on
site FTP/WWW and E-mail services to delegates.

PUBLISHERS
A number of publishers of AI and Cognitive  Science books have already
requested space for Book/other Exhibitions at the conference.

NEARBY FACILITIES
Broomhill  neighbourhood nearby contains  banks, banks,  hairdressers,
bookshops, and the Botanical Gardens is a stone's throw away.

PARKING
There  is ample free parking for  approx. 50 cars  in  the vicinity of
Halifax Hall.

________________________________________________________________________

                           REGISTRATION  NOTES

                 Main Programme, Workshops and Tutorials
________________________________________________________________________


ADDRESS (for registrations)

        Alison White
        AISB Executive Office
        Cognitive and Computing Sciences (COGS)
        University of Sussex
        Falmer, Brighton
        England, UK, BN1 9QH

        Email:  alisonw@cogs.susx.ac.uk
        WWW: http://www.cogs.susx.ac.uk/aisb
        Ftp: ftp.cogs.susx.ac.uk/pub/aisb
        Tel:    +44 (0) 1273 678448
        Fax:    +44 (0) 1273 671320

ADDRESS (for general enquiries)

        Gill Wells,
        Administrative Assistant, AISB-95,
    Department of Computer Science,
        Regent Court,
        211 Portobello Street,
    University of Sheffield,
    GB- S1 4DP, Sheffield,
        UK, EU.

    Email:    g.wells@dcs.shef.ac.uk
    Fax:      +44 (0) 114-278-0972
    Phone:    +44 (0) 114-282-5590

    Email:    aisb95@dcs.shef.ac.uk                    (for auto responses)
        WWW: http://www.dcs.shef.ac.uk/aisb95      [Sheffield Computer Science]
        Ftp: ftp.dcs.shef.ac.uk (cd aisb95)
        WWW: http://www.shef.ac.uk/              [Sheffield Computing Services]
        Ftp: ftp.shef.ac.uk (cd aisb95)
        WWW: http://ijcai.org/)                            [IJCAI-95, MONTREAL]
        WWW: http://www.cogs.susx.ac.uk/aisb              [AISB SOCIETY SUSSEX]
        Ftp: ftp.cogs.susx.ac.uk/pub/aisb


PAYMENT
Payment should be made by cheque or money order payable to `University
of SUSSEX' (NB: NOT SHEFFIELD OR AISB), drawn  in pounds sterling on a
British  clearing  bank. Payment   should  be sent  together with  the
Registration Form to the above address. It is not possible to register
by email.

WORKSHOPS
Please note that before registering for a  workshop you should contact
its organiser directly concerning availability and submissions.

CONFIRMATION
Confirmation of booking, a receipt, and a map with travel details will
be sent on receipt of this application form.

LATE REGISTRATIONS
Registrations  postmarked after   28th   FEBRUARY 1995 count  as  late
registrations.

CANCELLATIONS
In the event of DELEGATE cancellation, a 75%  refund of the total cost
will be  made provided that  written notice  is  received by the Local
Organiser  by 28th February 1995.  After  that date refunds cannot  be
made, although substitutions are possible.

Workshops  and tutorials are subject to  ORGANISER cancellation in the
event of insufficient registration. In such  an event any registration
or accomodation fees for the workshop or tutorial  period paid to AISB
will  be  refunded. AISB  will  not be liable   for any other expenses
incurred by those registering   for cancelled workshops  or tutorials,
for example travelling expenses. We  recommend, therefore, that before
making travel arrangements to attend a  workshop/tutorial you check to
ensure the event is going ahead.


AISB MEMBERSHIP
Delegates  wishing to join   AISB  (thus avoiding  the non-AISB-member
supplement) should contact:

   AISB Administration,
   Cognitive and Computing Sciences (COGS)
   University of Sussex
   GB- BN1 9QH, Falmer, Brighton
   UK, EU.

   E-mail: aisb@cogs.susx.ac.uk
   WWW: http://www.cogs.susx.ac.uk/aisb
   Ftp: ftp.cogs.susx.ac.uk/pub/aisb
   Fax:    +44 (0) 1273 671320
   Phone:  +44 (0) 1273 678448


DISCLAIMER
The Universities of Sussex and Sheffield and the Conference Organisers
accept  no   responsibility  for injury    to  persons attending   the
Conference,   nor for  loss  of or   damage  to  their property.   The
Conference Organisers reserve the right to change the details given in
this document without notice.
________________________________________________________________________

         R E G I S T R A T I O N   F O R M   ----   A I S B--9 5
________________________________________________________________________

LATE REGISTRATIONS
Registrations   postmarked after  28th  FEBRUARY   1995 count as  late
registrations.

Figures in parentheses are for  full-time students (send photo copy of
ID).



                                    WORKSHOPS

     W1: ** Cancelled **                       (1 day) _____

     W2: Evolutionary Computing               (2 days) _____

     W3: 2nd Workshop on Automated Reasoning   (1 day) _____

     W4: Postgraduate Workshop                (2 days) _____

     W5: Language Visualisation                (1 day) _____

     W6: Reaching for mind                    (2 days) _____

     W7: Mobile Robotics                       (1 day) _____

     W8: AI Education                          (1 day) _____


                                    TUTORIALS

     T1: Intelligent user interfaces           (1 day) _____

     T2: Programming with Temporal Logics   (half day) _____

     T3: Constraint Reasoning                  (1 day) _____

     T4: GA+NN Hybrid Systems                  (1 day) _____

     T5: SOAR Cognitive Architecture           (1 day) _____

     T6: PerAc: A Modular Neural Network       (1 day) _____
         Architecture for Autonomous Robots

(Please mark the Workshops/Tutorials you wish to attend, and enter the
registration  fees in  the next  section. Remember not   to choose two
workshops or tutorials that run concurrently.)


                            REGISTRATION FEES
                            -----------------

                 TECHNICAL PROGRAMME, WORKSHOPS and TUTORIALS


                                AISB        NON-ASIB
                                MEMBERS     MEMBERS    COST

Technical Programme             190 (120)      230
LATE REGISTRATION:
                                230 (160)      270     _____


2 Day Workshop or Tutorial       85  (60)      105
LATE REGISTRATION:
                                105  (80)      125     _____


1 Day Workshop or Tutorial       65  (45)       80
LATE REGISTRATION:
                                 85  (60)      100     _____


1/2 Day Tutorial                 50  (35)       60
LATE REGISTRATION:
                                 70  (50)       80     _____


PostGrad Workshop (2 day)        60             75
LATE REGISTRATION:
                                 80             95     _____


                                                total  _____      Pounds


                              ACCOMMODATION and FOOD


BED + Breakfast
                                # days _____  X 21.00  _____
(INCLUDES VAT @ 17.5%)


Lunch (cafeteria service)

                                # days _____  X 10.00  _____
(INCLUDES VAT @ 17.5%)

Dinner (cafeteria service)

                                # days _____  X 10.00  _____
(INCLUDES VAT @ 17.5%)


24 hour delegate rate
[Includes accom./breakfast/lunch/dinner]

                                # days _____  X 40.00  _____
(INCLUDES VAT @ 17.5%)


Banquet

                                                15.00  _____
(INCLUDES VAT @ 17.5%)


                                                total  _____      Pounds

Special dietary considerations  _____
(please tick)

                                        OVERALL TOTAL  _____      Pounds


                              PERSONAL DETAILS

                                                             Full time
Name             ___________________________________________ student? Y/N

Address          ___________________________________________

                 ___________________________________________

                 ___________________________________________

                 ___________________________________________

WWW              ___________________________________________

Email            ___________________________________________

Phone            __________________  Fax  __________________



I wish to register for the events indicated, and enclose a cheque in
pounds sterling, drawn on a British clearing bank and payable to the
`University of SUSSEX' (NB: NOT SHEFFIELD OR AISB) for .....


Signed           _________________________  Date ___________



======================================= End of Message ===========================


