[Humanist] 23.361 more events: methods; things digital; modal logic

Humanist Discussion Group willard.mccarty at mccarty.org.uk
Thu Oct 8 08:04:12 CEST 2009


                 Humanist Discussion Group, Vol. 23, No. 361.
         Centre for Computing in the Humanities, King's College London
                       www.digitalhumanities.org/humanist
                Submit to: humanist at lists.digitalhumanities.org

  [1]   From:    Carlos Areces <areces at pluton.loria.fr>                   (141)
        Subject: CFP: Advances in Modal Logic 2010

  [2]   From:    DigitalWorld 2010 <invitation at iariaannounce.org>          (51)
        Subject: Deadline extension: October 12:  DigitalWorld 2010 ||
                February10-15, 2010 - St. Maarten, Netherlands Antilles

  [3]   From:    Thomas Bolander <tb at imm.dtu.dk>                          (123)
        Subject: Call for participation: Methods for Modalities 6


--[1]------------------------------------------------------------------------
        Date: Wed, 7 Oct 2009 08:28:46 +0100
        From: Carlos Areces <areces at pluton.loria.fr>
        Subject: CFP: Advances in Modal Logic 2010


AiML-2010:  FIRST CALL FOR PAPERS

8-TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC
MOSCOW, AUGUST 25-29, 2010

  http://aiml10.mi.ras.ru/

Advances in Modal Logic is an initiative aimed at presenting
the state of the art in modal logic and its various applications. The
initiative consists of a conference series together with volumes based on
the conferences. Information about the AiML series can be obtained at
http://www.aiml.net  http://www.aiml.net  . AiML-2010 is the eighth
conference in the series.

TOPICS
We invite submission on all aspects of modal logics, including:

- history of modal logic
- philosophy of modal logic
- applications of modal logic
- computational aspects of modal logic
   + complexity and decidability of modal and temporal logics
   + modal and temporal logic programming
   + model checking
   + theorem proving for modal logics
- theoretical aspects of modal logic
   + algebraic  and categorical perspectives on modal logic
   + coalgebraic modal logic
   + completeness and canonicity
   + correspondence and duality theory
   + many-dimensional modal logics
   + modal fixed point logics
   + model theory of modal logic
   + proof theory of modal logic
- specific instances and variations of modal logic
   + description logics
   + dynamic logics and other process logics
   + epistemic and deontic logics
   + modal logics for agent-based systems
   + modal logic and game theory
   + modal logic and grammar formalisms
   + provability and interpretability logics
   + spatial and temporal logics
   + hybrid logic
   + intuitionistic logic
   + substructural logics

[...]


--[2]------------------------------------------------------------------------
        Date: Thu, 8 Oct 2009 03:01:45 +0100
        From: DigitalWorld 2010 <invitation at iariaannounce.org>
        Subject: Deadline extension: October 12:  DigitalWorld 2010 || February10-15, 2010 - St. Maarten, Netherlands Antilles

INVITATION

Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events.

The submission deadline has now been moved to October 12, 2009.

Publisher: CPS ( see: http://www2.computer.org/portal/web/cscps )

Archived: IEEE CSDL (Computer Science Digital Library) and IEEE Xplore

Submitted for indexing: Elsevier's EI Compendex Database, EI?s Engineering Information Index

Other indexes are being considered: INSPEC, DBLP, Thomson Reuters Conference Proceedings Citation Index

Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit.

===== Call for Submissions =======

DigitalWorld 2010, February 10-15, 2010 - St. Maarten, Netherlands Antilles

DigitalWorld 2010 is a federated event focusing on advanced topics concerning all digital aspects in our society. Nowadays, most of the economic activities and business models are driven by the unprecedented evolution of theories and technologies. The impregnation of these achievements into our society is present everywhere, and it is only question of user education and business models optimization towards a digital society.

Submission (full paper) deadline: October 12, 2009.

Sponsored by IARIA, www.iaria.org

Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org

Publisher: CPS ( see: http://www2.computer.org/portal/web/cscps )

Archived: IEEE CSDL (Computer Science Digital Library) and IEEE Xplore

[...]


--[3]------------------------------------------------------------------------
        Date: Wed, 7 Oct 2009 14:22:15 +0100
        From: Thomas Bolander <tb at imm.dtu.dk>
        Subject: Call for participation: Methods for Modalities 6


                      CALL FOR PARTICIPATION
        6th Workshop on METHODS FOR MODALITIES (M4M-6)
                    http://m4m.loria.fr/M4M6
                      Copenhagen, Denmark
                      November 12-14, 2009
    NOTE: The deadline for early registration is October 19
=======================================================

Scope
-----
The workshop METHODS FOR MODALITIES (M4M) aims to bring together
researchers interested in developing algorithms, verification methods
and tools based on modal logics. Here the term "modal logics" is
conceived broadly, including temporal logic, description logic,
guarded fragments, conditional logic, temporal and hybrid logic, etc.

To stimulate interaction and transfer of expertise, M4M will feature
a number of invited talks by leading scientists, research
presentations aimed at highlighting new developments, and submissions
of system demonstrations.

More information about the previous editions can be found at

                       http://m4m.loria.fr/

Autumn School
-------------
M4M-6 will be preceded by a two-day mini-course called "Autumn School
on Modal Logic" aimed at preparing PhD students and other researchers
for participation in the workshop. The autumn school will be taught
by Carlos Areces, Patrick Blackburn, Valentin Goranko, Renate Schmidt,
and Carsten Schürmann. Consult the autumn school home page for further
information:

              http://hylocore.ruc.dk/m4m6school.html

The autumn school is associated with the FIRST research school
(http://first.dk).

[...]


More information about the Humanist mailing list