19.710 conferences on logic

*******************************************************************
                         SECOND CALL FOR PAPERS
        International Workshop on Hybrid Logic 2006 (HyLo 2006)
                        Affiliated with LICS 2006
                     August 11, 2006, Seattle, USA
*******************************************************************

AIMS AND SCOPE:

Hybrid logic is a branch of modal logic in which it is possible to
directly refer to worlds/times/states or whatever the elements of
the (Kripke) model are meant to represent. Although they date back
to the late 1960s, and have been sporadically investigated ever
since, it is only in the 1990s that work on them really got into
its stride.

It is easy to justify interest in hybrid logic on applied grounds,
because of the usefulness of the additional expressive power.
For example, when reasoning about time one often wants to build
up a series of assertions about what happens at a particular
instant,and standard modal formalisms do not allow this. What is
less obvious is that the route hybrid logic takes to overcome
this problem (the basic mechanism being to add nominals ---
atomic symbols true at a unique point --- together with extra
modalities to exploit them) often actually improves the behavior
of the underlying modal formalism. For example, it becomes far
simpler to formulate modal tableau, resolution, and natural
deduction in hybrid logic, and completeness and interpolation
results can be proved of a generality that is not available in
orthodox modal logic.

Hybrid logic is now a mature field, therefore a theme of special
interest at this HyLo workshop will be the combination of hybrid
logic with other logics, the basic methodological question being
"what is the best way of hybridizing a given logic?" However,
submissions in all areas of hybrid logic are welcome.

The workshop HyLo 2006 is likely to be relevant to a wide range of
people, including those interested in description logic, feature
logic, applied modal logics, temporal logic, and labelled
deduction. The workshop continues a series of previous workshops
on hybrid logic, for example the LICS-affiliated HyLo 2002
(http://floc02.diku.dk/HYLO) which was held as part of FLoC 2002,
Copenhagen, Denmark. If you are unsure whether your work is of
relevance to the workshop, please do not hesitate to contact the
workshop organizers for more information. Contact details are
given below.

For more general background on hybrid logic, and many of the key
papers, see the Hybrid Logics homepage (http://hylo.loria.fr/).

INVITED SPEAKERS:

Patrick Blackburn (INRIA Lorraine, France)
Valeria de Paiva (PARC, USA)
Ian Horrocks (University of Manchester, UK)

[...]

--[2]------------------------------------------------------------------
         Date: Fri, 14 Apr 2006 10:06:12 +0100
         From: Carlos Areces <Carlos.Areces_at_loria.fr>
         Subject: CFP: 2nd International Congress on Tools for Teaching Logic

*******************************************************************
                          SECOND CALL FOR PAPERS
       Second International Congress on Tools for Teaching Logic
                         26-30 September 2006, Salamanca (Spain)
*******************************************************************

Submission of Papers: May 15, 2006
Notification of Acceptance: June 15, 2006
Final Camera-Ready Submission Due: July 3, 2006
Web: http://logicae.usal.es/SICTTL

AIMS AND SCOPE:

Most of us share the feeling that the teaching of an
interdisciplinary field spanning logic, linguistics and computer
science should be available in such a way that will facilitate
further interdisciplinary research. Nevertheless, we are aware
that the needs are different in those fields of study which have
already been stablished. The overall concern is in the teaching
of logic, but with special regard in addressing innovations and
the systematization of educational activity. We believe that the
role of logic in the shaping of the epistemology of this XXI
creature should be crucial; Information technology is rapidly
changing the world we live in, and logic is helping us to
produce, distribute and process information, as well as to
understand how coded information can modify people's state of
knowlege. At the University of Salamanca the First International
Congress on Tools for Teaching Logic took place in June 2000. A
number of logicians from different countries in Europe, the US
and South America gathered there to focus on education on the
interfaces between philosophy, linguistics, mathematics,
computer science and related disciplines.

The organizing committee invites you to take part in the Second
International Congress on Tools for Teaching Logic, which will
be held in Salamanca on September 26-30, 2006. There will be
lectures, discussion sessions, round tables and software
demonstrations. You are kindly invited to take active part in
these sessions and to exhibit your teaching or professional
software. We invite submission of papers on all aspects of
teaching logics, including the following main topics:

1. Issues, Means and Objectives in Teaching Logic.
2. Teaching the Role of Logic in Science and Humanities.
3. Teaching Logic Research in a Postgraduate Programme.
4. Software for Teaching Logic and Reasoning.
5. e-Learning Logic: Resources and Challenges.

PROGRAM:

We have already arrange the following plenary sessions:

Johan van Benthem: What Should Every Student Know About Logic?
Rethinking the Core Curriculum. University of Amsterdam. Holland

Wilfrid Hodges. Mathematical Writing. Quen Mary College. U.K.

Patrick Blackburn. Representation and Inference for Natural
Language. INRIA Lorraine. France.

Hans van Ditmarsh. 10 Years of "logic software and logic
education". University of Otago. New Zealand

Dick de Jongh, Carlos Mart=EDn Vide, Felip Manya, Raymundo Morado,
Angel Nepomuceno, Huberto Marraud, Di=F3genes Rosales, Concepci=F3n
Mart=EDnez, Enrique Caorsi, Francisco Salguero, Carlos Oller,
Tulio Olmos, Antonia Huertas, Enrique Alonso, Carmen Cadena and
others are also planing to give talks.

[...]=20
Received on Fri Apr 14 2006 - 05:25:20 EDT