Humanist Discussion Group, Vol. 17, No. 422.
Centre for Computing in the Humanities, King's College London
www.kcl.ac.uk/humanities/cch/humanist/
www.princeton.edu/humanist/
Submit to: humanist@princeton.edu
[1] From: Natasha Alechina <nza@Cs.Nott.AC.UK> (59)
Subject: CfP Workshop of guarded logics ESSLLI'04
[2] From: Elli Mylonas <elli_mylonas@brown.edu> (21)
Subject: Brown Bag CHUG Friday noon
[3] From: Frank Keller <keller@inf.ed.ac.uk> (28)
Subject: Cogsci 2004 Call for Tutorial Proposals
[4] From: Subbiah Arunachalam <arun@mssrf.res.in> (29)
Subject: Open Access Side-Event at World Summit on the
Information Society
--[1]------------------------------------------------------------------
Date: Wed, 03 Dec 2003 07:59:05 +0000
From: Natasha Alechina <nza@Cs.Nott.AC.UK>
Subject: CfP Workshop of guarded logics ESSLLI'04
Workshop on Guarded Logics: Proof Techniques and Applications
9 - 13 August 2004
organized as part of
European Summer School on Logic, Language and Information (ESSLLI 2004)
9 - 20 August 2004 in Nancy.
Workshop organizer: Natasha Alechina
Workshop purpose
It's been almost ten years since Andreka, van Benthem and Nemeti proved
decidability of the guarded fragment of first order logic. Given how natural
and expressive guarded quantification is, this result gave logicians a
powerful tool of proving decidability of many formalisms arising in computer
science applications, and generated much research into extensions of the
guarded fragment to fixed point logic, transitive guards etc. A wealth of
new proof techniques developed as a result. The workshop intends to bring
this research together for the benefit of advanced logic and computer
science PhD students interested in the area, and use a mixture of invited
and contributed talks to cover both the new proof techniques and the
relevance of guarded quantification for applications of logic in computer
science.
Workshop details
Authors are invited to submit a full paper either describing their published
work (which should be instructive and interesting to PhD students working in
the field and appropriate for presentation at the Summer School), or new and
unpublished work. Submissions should not exceed 20 pages. The following
formats are accepted: pdf, ps. Please send your submission electronically to
nza at cs.nott.ac.uk. The submissions will be reviewed by the workshop's
programme committee and additional reviewers. The accepted papers will
appear in the workshop proceedings published by ESSLLI. It is likely that a
selection of (revised and expanded) versions of the workshop papers will
appear in a special issue of the Journal of Logic, Language and Information.
Workshop format
The workshop is part of ESSLLI and is open to all ESSLLI participants. It
will consist of five 90-minute sessions held over five consequtive days in
the first week of ESSLLI. There will be 2 slots for paper presentation and
discussion per session. On the first day the workshop organizer will give an
introduction to the topic.
Workshop programme committee
Natasha Alechina (University of Nottingham), Johan van Benthem (University
of Amsterdam), Erich Graedel (Aachen University), Maarten Marx (University of
Amsterdam), Hans de Nivelle (Max Planck Institut fur Informatik,
Saarbruecken), Martin Otto (Darmstadt University of Technology), Ulrike
Sattler (University of Manchester).
Important dates
* Submissions: March 5, 2004
* Notification: April 19, 2004
* ESSLLI early registration: May 1, 2004
* Preliminary programme: April 23, 2004
* Final papers for proceedings: May 15, 2004
* Final programme: June 25, 2004
* Workshop dates: August 9 - 13, 2004
Local arrangements
All workshop participants including the presenters will be required to
register for ESSLLI. The registration fee for authors presenting a paper
will correspond to the early student/workshop speaker registration fee.
Moreover, a number of additional fee waiver grants will be available by the
OC on a competitive basis and workshop participants are eligible to apply
for those. There will be no reimbursement for travel costs and accomodation.
Workshop speakers who have difficulty in finding funding should contact the
local organising committee to ask for the possibilities for a grant.
--[2]------------------------------------------------------------------
Date: Wed, 03 Dec 2003 07:56:25 +0000
From: Elli Mylonas <elli_mylonas@brown.edu>
Subject: Brown Bag CHUG Friday noon
The Brown Computing and the Humanities Users Group
presents
Learning to Write in the Network with Weblogs
Jill Walker
University of Bergen, Norway
Weblogs are a powerful tool for learning to write and think
collaboratively in the network, but they also pose certain problems.
Is it ethical to insist that students blog in public? How does one
integrate networked writing into the classroom?
Jill Walker has used weblogs intensively in the classroom teaching
web design and digital media esthetics for the last year. She has
been an enthusiastic blogger for three years, co-authored the first
academic essay on weblogs with Torill Mortensen ("Blogging Thoughts:
Personal Publication as an Online Research Tool", 2001) and wrote the
definition of "Weblog" for the forthcoming Routledge Encyclopedia of
Narrative Theory. She successfully defended her PhD at the University
of Bergen last week, with a dissertation on networked fictions:
Fiction and Interaction: How Clicking a Mouse Can Make You Part of a
Fictional World. She is currently a lecturer in the department of
Humanistic Informatics at the University of Bergen.
Please come and bring a lunch. Refreshments will, as usual, be available.
--[3]------------------------------------------------------------------
Date: Wed, 03 Dec 2003 07:57:31 +0000
From: Frank Keller <keller@inf.ed.ac.uk>
Subject: Cogsci 2004 Call for Tutorial Proposals
26TH MEETING OF THE COGNITIVE SCIENCE SOCIETY
August 5-7, 2004, Chicago, Westin River North
<http://www.cogsci.northwestern.edu/cogsci2004/>
CALL FOR TUTORIAL PROPOSALS
Introduction
The Tutorials program at Cognitive Science 2004 will be held on 4
August 2004. They will provide conference participants with the
opportunity to gain new insights, knowledge, and skills from a broad
range of areas in the field of cognitive science. Tutorial topics will
be presented in a taught format and are likely to range from practical
guidelines to academic issues and theory. This is the fourth year that
tutorials in this format will be offered.
Tutorial participants will be from a wide range of the cognitive
sciences, but they will be looking for insights into their own areas
and summaries of other areas providing tools, techniques, and results
to use in their own teaching and research.
Tutorials must present tutorial material, that is, provide results
that are established and to do so in an interactive format. They will
tend to involve an introduction to technical skills or methods (e.g.,
cognitive modelling in ACT-R, statistical "causal" modelling, methods
of analysing qualitative observational data). They are likely to
include substantial review of material. The level of presentation can
assume that the attendees have at least a first degree in a cognate
area. Tutorials are welcome to assume a higher level if
necessary. Tutorials about yesterday's results from your lab are
strongly discouraged. Tutorials about this year's theme, The Social,
Cultural and Contextual Elements of Cognition, are encouraged.
[material deleted]
--[4]------------------------------------------------------------------
Date: Wed, 03 Dec 2003 07:59:42 +0000
From: Subbiah Arunachalam <arun@mssrf.res.in>
Subject: Open Access Side-Event at World Summit on the Information
Society
Here is a press release on a meeting to be held in Geneva on 11 December 2003.
World Summit on the Information Society
http://www.itu.int/wsis/
Open Access Side-Event:
http://www.wsis-online.net/smsi/classes/smsi/events/smsi-events-85268/event-view?referer=/event/events-list?showall=t
"A growing number of scientists worldwide are actively promoting
'open access' to the scientific literature. This means toll-free
online access to the full-texts of all refereed research articles. At
present, except the fraction of articles for which a suitable
open-access journal already exists today (<5%), research is only
accessible if the researcher's institution can afford to pay for the
toll-access journal in which it is published (>95%). As a result,
most of the potential users of research -- and especially those in
developing countries -- are unable to access most research. This
represents a great loss to both research-providers and
research-users, and hence to the progress and benefits of
research itself. Fortunately, the Internet and Web technologies
have at last opened up the possibility for those researchers
whose institutions cannot afford the toll-access version of any
article to use instead the open-access version, self-archived on the
author's own institutional website. The provision of open access to
their own refereed research output by researchers and their
institutions needs systematic worldwide promotion. We are holding
a three-hour meeting on open-access provision at Geneva as a side
event at WSIS. Please publicise the meeting. More important, read
and write about the substantial contribution of open access to the
progress and benefits of science."
(For some useful information: http://www.ecs.soton.ac.uk/~harnad/ )
Subbiah Arunachalam
This archive was generated by hypermail 2b30 : Wed Dec 03 2003 - 05:28:38 EST