17.422 events

From: Humanist Discussion Group (by way of Willard McCarty willard.mccarty@kcl.ac.uk)
Date: Wed Dec 03 2003 - 05:22:00 EST

  • Next message: Humanist Discussion Group (by way of Willard McCarty

                   Humanist Discussion Group, Vol. 17, No. 422.
           Centre for Computing in the Humanities, King's College London
                         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

             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

    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.

             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


    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.

             Date: Wed, 03 Dec 2003 07:57:31 +0000
             From: Frank Keller <keller@inf.ed.ac.uk>
             Subject: Cogsci 2004 Call for Tutorial Proposals


    August 5-7, 2004, Chicago, Westin River North




    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]

             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

    Here is a press release on a meeting to be held in Geneva on 11 December 2003.

    World Summit on the Information Society

    Open Access Side-Event:

          "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