Activities per year
Activities
- 650 - 679 out of 679 results
Search results
-
British Logic Colloquium PC Co-Chair and Co-local Organiser, St Andrews, 2003
Dyckhoff, R. (Organiser)
2003Activity: Participating in or organising an event types › Participation in or organising a conference
-
Nature News article on the Wallace-Kelsey Effective Sterilising Dose for humans
Kelsey, T. (Participant)
2003 → …Activity: Other activity types › Other
-
EPSRC review College (External organisation)
Morrison, R. (Participant)
2003 → 2005Activity: Membership types › Membership of peer review panel or committee
-
Engineering Council Certificate Examination, Software and Information Systems Engineering (External organisation)
Kirby, G. N. C. (Participant)
2003 → 2007Activity: Membership types › Membership in special-interest organisation
-
1st International Workshop on Middleware for Pervasive and Ad-Hoc Computing
Kirby, G. N. C. (Member of programme committee)
2003Activity: Participating in or organising an event types › Participation in or organising a workshop, seminar, course
-
EPSRC review College (External organisation)
Kirby, G. N. C. (Participant)
2003 → 2005Activity: Membership types › Membership of peer review panel or committee
-
GAP Support Group (External organisation)
Konovalov, A. (Participant)
Oct 2002 → …Activity: Membership types › Membership of research network
-
Association of Computing Machinery (External organisation)
Allison, C. (Participant)
2002 → …Activity: Membership types › Membership of research network
-
The GAP Group (External organisation)
Konovalov, A. (Participant)
2002 → …Activity: Membership types › Membership of research network
-
External Examiner, University College, London, MSc in Computer Science
Hammond, K. (External examiner)
2002 → 2006Activity: Examination types › External examination
-
MaplePVS - A Tutorial Introduction. Calculemus Autumn School, Pisa, 28th September 2002
Kelsey, T. (Invited speaker)
2002 → …Activity: Talk or presentation types › Invited talk
-
Numerical Computational Mathematics. IJCAR 2001 Tutorial, Siena, 19th June 2001
Kelsey, T. (Invited speaker)
2001 → …Activity: Talk or presentation types › Invited talk
-
EPSRC review College (External organisation)
Hammond, K. (Participant)
2001 → …Activity: Membership types › Membership of peer review panel or committee
-
<<Examinateur>>, U. Paris VI. PhD candidate: David Delahaye.
James Hugh McKinna (External examiner)
2001 → …Activity: Examination types › External examination
-
Integrating Maple and PVS. Theorem Proving in Higher Order Logics (TPHOLS) 2001, Edinburgh, 3rd September 2001
Kelsey, T. (Invited speaker)
2001 → …Activity: Talk or presentation types › Invited talk
-
Computer Vision and Image Understanding (Journal)
Bernard Paul Tiddeman (Editor)
2000 → …Activity: Publication peer-review and editorial work types › Editor of research journal
-
PC Chair and Local Organiser, Tableaux 2000, St Andrews
Dyckhoff, R. (Organiser)
2000Activity: Participating in or organising an event types › Participation in or organising a conference
-
Steering group member of industry sponsored PGNet symposium 2000 - 2011.
Allison, C. (Organiser)
2000 → 2011Activity: Participating in or organising an event types › Participation in or organising a conference
-
EU WG 29001 TYPES. Annual Workshop held at Durham, Dec 2000. Edited Proceedings. P.Callaghan, J. McKinna, Z. Luo, R. Pollack (eds.) Springer-Verlag LNCS 2277, pp.243+VII, ISBN 3-540-43287-6. 2002.
James Hugh McKinna (Organiser)
2000 → …Activity: Participating in or organising an event types › Participation in or organising a conference
-
Installed permanent exhibits at Dundee Sensation, Glasgow Science Centre, Edinburgh Camera Obscura and the National Science Museum.
Bernard Paul Tiddeman (Participant)
2000 → …Activity: Participating in or organising an event types › Participation in or organising a public festival/exhibition/event
-
Formal Methods for Extensions to CAS. World Congress on Formal Methods, Toulouse, 24th September 1999
Kelsey, T. (Invited speaker)
1999 → …Activity: Talk or presentation types › Invited talk
-
Integers in LSL. International Symposium on Algebraic and Symbolic Computation, Rostock, 14th August 1998
Kelsey, T. (Invited speaker)
1998 → …Activity: Talk or presentation types › Invited talk
-
American Mathematical Society (External organisation)
Konovalov, A. (Participant)
1998 → …Activity: Membership types › Membership in special-interest organisation
-
The Institute of Electrical and Electronics Engineers (IEEE) (External organisation)
Henderson, T. (Participant)
1998 → …Activity: Membership types › Membership of research network
-
Ph.D. and M.Sc. examiner for Computer Science theses at Liverpool, Melbourne, Hull, St Andrews, Glasgow and Durham. Undergraduate external examiner at Luton (2001-2006), Coventry (2005-2009). M.Sc. validation panel at Sunderland (2005) Undergraduate quality scheme board for the University of Bedfordshire (2006-2010)
Duncan, I. M. M. (External examiner)
1995 → …Activity: Examination types › External examination
-
Institute of Electrical and Electronic Engineers: Computer Society; Communications Society; Education Society (External organisation)
Allison, C. (Participant)
1992 → …Activity: Membership types › Membership of research network
-
London Mathematical Society (External organisation)
Roy Dyckhoff (Participant)
1990 → …Activity: Membership types › Membership of research network
-
Association for Symbolic Logic (External organisation)
Roy Dyckhoff (Participant)
1990 → …Activity: Membership types › Membership of research network
-
British Logic Colloquium (External organisation)
Roy Dyckhoff (Participant)
1990 → …Activity: Membership types › Membership of research network