[Humanist] 23.18 events: Knuth & Parshall at Greenwich; Methods for Modalities

Humanist Discussion Group willard.mccarty at mccarty.org.uk
Fri May 15 07:03:51 CEST 2009

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

  [1]   From:    Thomas Bolander <tb at imm.dtu.dk>                           (35)
        Subject: 2nd CFP: 6th workshop on "Methods for Modalities" (M4M-6)

  [2]   From:    Gerhard Brey <gerhard.brey at gmail.com>                     (50)
        Subject: Knuth and Parshall at Greenwich

        Date: Thu, 14 May 2009 09:55:51 +0100
        From: Thomas Bolander <tb at imm.dtu.dk>
        Subject: 2nd CFP: 6th workshop on "Methods for Modalities" (M4M-6)

                     SECOND CALL FOR PAPERS
        6th Workshop on "Methods for Modalities" (M4M-6)
                      Copenhagen, Denmark
                      November 12-14, 2009

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.

We strongly encourage young researchers and students to submit papers,
especially for experimental and prototypical software tools which are
related to modal logics.

More information about the previous editions can be found at


M4M-6 will be preceded by a two-day mini-course aimed at preparing
PhD students and other researchers for participation in the workshop.
The mini-course is associated with the FIRST research school

Paper Submissions
Authors are invited to submit papers in the following three categories.

- Regular papers up to 15 pages, describing original research.

- System descriptions of up to 12 pages, describing new systems or
significant upgrades of existing ones.

- Presentation-only papers, describing work recently published or
submitted (no page limit). These will not be included in the
proceedings, but pre-prints or post-prints can be made available to


        Date: Fri, 15 May 2009 00:30:58 +0100
        From: Gerhard Brey <gerhard.brey at gmail.com>
        Subject: Knuth and Parshall at Greenwich

> From: Tony Mann <a.mann at gre.ac.uk>
> Date: 14 May 2009 21:32:03 BST
> >
> On Tuesday June 2nd, the University of Greenwich is pleased to  
> present an afternoon exploring the history of mathematics &  
> computing in the appropriate setting of the Old Royal Naval College  
> in Greenwich:
>     Donald Knuth: /"History of Computer Science versus History of  
> Mathematics"/
>     Karen Parshall: /"Victorian Algebra"/
> Don Knuth is a retired professor of Computer Science at Stanford  
> University, where he joined the faculty forty years ago. His multi- 
> volume work-in-progress entitled "The Art of Computer Programming"  
> has been translated into twelve languages. His software is used to  
> format the pages of most of the world's books and journals about  
> mathematics and physics. He tries to write computer programs that  
> are actually a pleasure to read.
> Karen Parshall is Professor of History and Mathematics at the  
> University of Virginia. She works on the history of science and  
> mathematics in America and the history of 19th- and 20th-century  
> algebra, and her research currently focuses on the life, times, and  
> mathematical work of the British mathematician, James Joseph  
> Sylvester. The organisers are grateful to the London Mathematical  
> Society for support for Professor Parshall's visit.
> Date:   Tuesday 2nd June 2009, 2-4pm
> Venue: Burnside Lecture Theatre, King William Court (KW315),
>          Old Royal Naval College, Park Row, Greenwich, London SE10 9LS
> All welcome. Admission free.
> Further information from Tony Mann (A.Mann at gre.ac.uk)
> Travel directions at http://www.gre.ac.uk/about/greenwich/greenwich
> -- 
> Tony Mann
> Head of Department, Mathematical Sciences
> School of Computing and Mathematical Sciences
> University of Greenwich
> Old Royal Naval College
> Park Row, London
> SE10 9LS
> Phone: 020 8331 8709   Fax 020 8331 8665
> A.Mann at gre.ac.uk   http://staffweb.cms.gre.ac.uk/~A.Mann/
> University of Greenwich, a charity and company limited by guarantee,  
> registered in England (reg no. 986729).  Registered Office: Old  
> Royal Naval College, Park Row, Greenwich SE10 9LS.

More information about the Humanist mailing list