Organizations and events I am involved with

Howard Bowman

[This page is not up to date]

Journal, Conference and Workshop Involvement

I was on the editorial board of the journals:

New Generation Computing (published by Springer-Verlag).
Cognitive Processing (published by Springer-Verlag).

I have been on the programme committees of a number of events:

The IFIP conference FORTE, the International Conference on Formal Techniques for Networked and Distributed Systems (formally FORTE/PSTV). Committee memberships: FORTE/PSTV'96 FORTE/PSTV'97 FORTE/PSTV'98 FORTE/PSTV'99 FORTE/PSTV'00 FORTE'01 FORTE'03.
The IFIP working conference FMOODS (Formal Methods for Open Object-based Distributed Systems). Committee memberships: FMOODS'96 FMOODS'97 FMOODS'99 FMOODS'00
The workshop Rigorous Object Oriented Methods (ROOM). Committee memberships: ROOM 2 - 1998 ROOM 3 - 2000 ROOM 4 - 2002
The workshop FM-Elsewhere (Formal Methods Elsewhere). FM-Elsewhere'00
The workshop Design, Specification and Verification of Interactive Systems, dsvis-2001
The International Conference on Multimedia Modeling, MMM2001
Time for the Web. A workshop held as part of SEKE 2003 (The Fifteenth International Conference on Software Engineering and Knowledge Engineering)
ESSLLI'03 Worskhop on Interval Temporal Logics and Duration Calculi held as part of ESSLLI-2003 (The Fifteenth European Summer School in Logic, Language, and Information)

· ARTS 2004, 6th AMAST Workshop on Real-Time Systems, the University of Stirling, UK.

HCI 2005, IASTED International Conference on Human-Computer Interaction, November 2005.
RASC'2006, 6th International Conference on Recent Advances in Soft Computing, Canterbury, UK, July 2006.
FMIS'2006, 1st International Workshop on Formal Methods for Interactive Systems (at ICFEM 2006, Eighth International Conference on Formal Engineering Methods), Macau, November 2006.
FMIS'2007, 2nd International Workshop on Formal Methods for Interactive Systems (at HCI07, Human Computer Interaction 2007), Lancaster, September 2007.
TeaConc'2007, 2nd Workshop on Teaching Concurrency, Siedlce, Poland, June 2007.
NeSy12, 2nd 8th International Workshop on Neural-Symbolic Learning and Reasoning, Toronto, Canada, July 2012.

I chaired the following events:

The IFIP working conference Formal Methods for Open Object-based Distributed Systems 1997, FMOOD S'97 in Canterbury, UK, 1997.
The workshop FM-Elsewhere (Formal Methods Elsewhere) held as a satellite workshop of FORTE/PSTV in Pisa, Italy in November 2000.
A symposium at the British Psychological Society Cognitive Psychology Section XIX Annual Conference at the University of Kent at Canterbury in September 2002. The title of the symposium was "Implications of Computational Modelling for Age of Acquisition Effects".
NCPW 8, Neural Computation and Psychology Workshop Number 8, August 2003 at the University of Kent at Canterbury.

Membership of Professional Bodies

I was a member of the following IFIP working group for a number of years.

IFIP TC6 Working Group 6.1 on Architecture and Protocols for Computer Networks.

Research Talks

I have given research talks at the following institutions:

GTE Laboratories, Boston, USA (October 1993); Royal Holloway College, University of London (March 1995); Lancaster University, United Kingdom (May 1995); University of Glasgow, United Kingdom (May 1995); University of Sussex, United Kingdom (June 1995), ENST Bretagne, Rennes, France (November 1995); GMD FOKUS, Berlin, Germany (February 1997); Technical University of Berlin, Berlin, Germany (February 1997); University of Erlangen, Bavaria, Germany (February 1997); CNR, Istituto-CNUCE, Pisa, Italy (November 1997); VERIMAG, Grenoble, France (September 1998); University of Edinburgh, UK (January, 1999); Bologna, Italy (March, 1999); York University, UK (November, 1999); De Montfort University, UK (December, 1999); and The Medical Research Council's Cognition and Brain Sciences Unit, Cambridge, UK (January, 2001), Middlesex University, UK (November 2001), (Psychology) Birmingham University, UK (May 2004), Warwick University (Psychology Department), UK (Feb 2006), Birmingham University (Behavioural Brain Sciences Centre), UK (October 2006), University of Groningen (Neuroimaging Centre) Netherlands (December 2006), Vrjie University of Amsterdam (Psychology Department) Netherlands (December 2006), Birkbeck College (Psychology Department) UK (January 2007), Bangor University (Psychology Department) UK (February 2007), Cambridge University (Experimental Psychology) UK (November 2011).