[Humanist] 22.533 events: temporal reasoning; printing and urban culture

Humanist Discussion Group willard.mccarty at mccarty.org.uk
Mon Feb 16 07:44:39 CET 2009

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

  [1]   From:    Judith Deitch <j_deitch at yorku.ca>                         (27)
        Subject: Printing and Urban Culture CFP

  [2]   From:    Carsten Lutz <clu at lutz01.informatik.uni-bremen.de>        (93)
        Subject: TIME09 Second Call for Papers

        Date: Sun, 15 Feb 2009 18:12:09 +0000
        From: Judith Deitch <j_deitch at yorku.ca>
        Subject: Printing and Urban Culture CFP

for a special session of the

Printing and Urban Culture in Early Modern Europe

How did the establishment of printers' shops and the books they 
produced impact European urban centers socially, economically, 
intellectually? How did the presence of the new technology, new 
commodity, new identities contribute to a redefinition of cities and 
towns? Papers might investigate individual urban locales or individual 
printers; they might consider the impact of printing and printed books 
on civic or religious communities; or the role of the market in 
schoolbooks, university texts, humanist classics or ecclesiastical 
printed works. Additional approaches could include looking into the 
cross-border trade of printed books; the transmission or transfer of 
knowledge between different social groups or identities; or the routing 
of texts, people and ideas. The purpose of this session is to examine 
the premise that, in the 15th and 16th centuries, print redrew the map 
of Europe with regard to urban culture, both within towns and cities 
and across the continent.

Please email a 150 word abstract and brief c.v. or personal statement 
to the organizer by May 1, 2009.

Dr. Judith Deitch
  j_deitch at yorku.ca
York University
Department of English
4700 Keele Street
Toronto, Canada M3J 1P3

        Date: Sun, 15 Feb 2009 14:35:11 +0000
        From: Carsten Lutz <clu at lutz01.informatik.uni-bremen.de>
        Subject: TIME09 Second Call for Papers

   	          TIME 2009 - Second Call for Papers

		 Sixteenth International Symposium on
		Temporal Representation and Reasoning

		  Brixen, Italy, July 23-25, 2009


The TIME symposium series is a well-established annual event that
brings together researchers from all areas of computer science that
involve temporal representation and reasoning. This includes, but is
not limited to, artificial intelligence, temporal databases, and the
verification of software and hardware systems. In addition to fostering
interdisciplinarity, the TIME symposia emphasize bridging the gap
between theoretical and applied research.

TIME 2009 encompasses three tracks, but has a single program
committee. The conference will span three days, and will be organized
as a combination of technical paper presentations, poster sessions,
and keynote lectures.


Abstract Submission:     April 6 (strict)
Paper Submission:        April 9 (strict)
Paper Notification:      May 11
Camera Ready Copy Due:   May 22
TIME 2009 Symposium:     July 23-25


Logic - Mark Reynolds, The University of West Australia
AI - Froduald Kabanza, Universite de Sherbrooke, Quebec, Canada
DB - Serge Abiteboul, INRIA, France


Track 1: Temporal Representation and Reasoning in AI

- temporal aspects of agent- and policy-based systems
- spatial and temporal reasoning
- reasoning about actions and change
- planning and planning languages
- ontologies of time and space-time
- belief and uncertainty in temporal knowledge
- temporal learning and discovery
- time in problem solving (e.g. diagnosis, scheduling)
- time in human-machine interaction
- temporal information extraction
- time in natural language processing
- spatio-temporal knowledge representation systems
- spatio-temporal ontologies for the semantic web

Track 2: Temporal Database Management

- temporal data models and query languages
- temporal query processing and indexing
- temporal data mining
- time series data management
- stream data management
- spatio-temporal data management, including moving objects
- data currency and expiration
- indeterminate and imprecise temporal data
- temporal constraints
- temporal aspects of workflow and ECA systems
- real-time databases
- time-dependent security policies
- privacy in temporal and spatio-temporal data
- temporal aspects of multimedia databases
- temporal aspects of e-services and web applications
- temporal aspects of distributed systems
- novel applications of temporal database management
- experiences with real applications

Track 3: Temporal Logic and Verification in Computer Science

- specification and verification of systems
- verification of web applications
- synthesis and execution
- model checking algorithms
- verification of infinite-state systems
- reasoning about transition systems
- temporal architectures
- temporal logics for distributed systems
- temporal logics of knowledge
- hybrid systems and real-time logics
- tools and practical systems
- temporal issues in security


Submissions of high quality papers describing research results or
on-going work are solicited. Submitted papers should contain original,
previously unpublished content, should be written in English, and must
not be simultaneously submitted for publication elsewhere.

Submitted papers will be refereed by at least three reviewers for
quality, correctness, originality, and relevance. Accepted papers will
be presented at the symposium and included in the proceedings, which
will be published by the IEEE Computer Society Press. Acceptance of a
paper is contingent on one author presenting the paper at the

Submissions should be in PDF format (with the necessary fonts
embedded). They must be formatted according to the IEEE guide-
lines described at

                    proceedings/8.5x11 - Formatting files/

and must not exceed 8 pages; over-length submissions may be
rejected without review.

Papers are submitted electronically via Easychair:



More information about the Humanist mailing list