[DL] Last Call for Participation: M4M-3 | DLD | ICoS-4

[Methods for Modalities]

====================================================================
  
     !!! DEADLINE FOR REGISTRATION: Monday, September 15 !!!

====================================================================
                 Last Call for Participation

                     NANCY INFERENCE WEEK

               Method for Modalities 3 (M4M-3)
                 Description Logic Day (DLD)
        Inference in Computational Semantics 4 (ICoS-4)

             LORIA, Nancy, France, 22-26 September 2003

                 http://www.loria.fr/~areces/NIW/
====================================================================

The first Nancy Inference Week (NIW) will take place at LORIA, Nancy,
France, during the week of the 22-26 of September, 2003.

Nancy Inference Week will consist of the following events:

  o Method for Modalities 3 (M4M-3): September 22-23. 
  o Description Logic Day (DLD): September 24. 
  o Inference in Computational Semantics 4 (ICoS-4): September 25-26. 

These three events are separate, but are linked by the common theme of
inference. M4M is a workshop devoted to inference techniques for modal
logic and their applications. DLD is a one day workshop which
introduces Description Logic, an important formalism for
representation and inference in Artificial Intelligence. ICoS is a
workshop on applying inference techniques to the semantics for natural
language (in a computational setting).

The Nancy Inference Week webpage at

            http://www.loria.fr/~areces/NIW/

has pointers to the websites for all three events.  You can register
for any of the NIW events by filling in the registration form you will
find there.

The deadline for registration for Nancy Inference Week is:

                    15 September 2003

No registration will be possible after this date. In particular, you
won't be able to register on the days of the workshop ("on-the-spot"
registrations are not possible).
====================================================================


-- 

M4M: Methods for Modalities                         www.science.uva.nl/~m4m