SSAI EXECUTIVE COMMITTEE MEETING MINUTES Monday, 30 March 2015 Present: John Henstridge, Doug Shaw, Stephen Horn, Mark Griffin, Paul Sutcliffe, Rory Tarnow-Mordi Observer: Marie-Louise Rankin

Source URL: www.statsoc.org.au

TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany

Source URL: www21.in.tum.de

• Type theory
• Formal methods
• Model theory
• Functional programming
• Data types
• Symbol
• Satisfiability Modulo Theories
• Hindley–Milner
• Geoff Sutcliffe
• Theoretical computer science
• Mathematics
• Mathematical logic

REVIEWS Inflammation in prostate carcinogenesis Angelo M. De Marzo*‡, Elizabeth A. Platz § , Siobhan Sutcliffe§ , Jianfeng Xu|| , Henrik Grönberg¶, Charles G. Drake‡, Yasutomo Nakai#, William B. Isaacs**

Source URL: demarzolab.pathology.jhmi.edu

• Prostate cancer
• Prostate
• Tumor markers
• Benign prostatic hyperplasia
• High-grade prostatic intraepithelial neoplasia
• Chronic prostatitis/chronic pelvic pain syndrome
• Prostatitis
• Hyperplasia
• Finasteride
• Medicine
• Anatomy
• Biology

TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany

Source URL: www4.in.tum.de

• Type theory
• Formal methods
• Model theory
• Functional programming
• Data types
• Symbol
• Satisfiability Modulo Theories
• Hindley–Milner
• Geoff Sutcliffe
• Theoretical computer science
• Mathematics
• Mathematical logic

2015 Rawson Cricket Results Round 1 - Monday 9th March St Paul’s 187 (Tridgell 54, Sherw 45 n.o., Tridgell 4/21, Woods[removed]def St Andrew’s (Buckling 58, Sutcliffe 25, Trenerry 4/33) @ Oval No. 1 Wesley[removed]Gibso

Source URL: www.susf.com.au

Small-scale seed drying methods Technical Information Sheet_08 Vanessa Sutcliffe and John Adams, Royal Botanic Gardens, Kew

Source URL: www.kew.org

• Biology
• Gels
• Silica gel
• Silicon dioxide
• Desiccant
• Seed
• Millennium Seed Bank Project
• Hygroscopy
• Drying
• Chemistry
• Food and drink
• Plant reproduction

6th Annual Conference of the North American Association for Celtic Language Teachers The Information Age, Celtic Languages and the New Millenium Editors Richard F. E. Sutcliffe

Source URL: www.csis.ul.ie

• Goidelic languages
• Sabhal Mòr Ostaig
• University of the Highlands and Islands
• Scottish Gaelic education
• Scottish Gaelic
• Sleat
• Iain Noble
• Canadian Gaelic
• Manx language
• Celtic languages
• Indo-European languages
• Celtic culture

Summary of the ‘Knopwood Report’ for West Yorkshire Police about ‘Operation Newgreen’: DCS Knopwood’s review of West Yorkshire Police’s contact and relationship with Jimmy Savile (Savile’s primary residence

Source URL: www.nota.co.uk

• Top of the Pops
• English people
• Peter Sutcliffe
• Metropolitan Police Service
• British people
• Jimmy Savile
• Knights Bachelor

TALKING POINTS CILIP Carnegie Medal Shortlist 2014 The Wall By William Sutcliffe Before reading Why do you think the author chose “The Wall” as the title for this book?

Source URL: www.carnegiegreenaway.org.uk

Testing The Foreman “Has Jenkins melted again...?”      Greg Sutcliffe      Red Hat      FOSDEM 2014

Source URL: archive.fosdem.org

• Debian
• FOSDEM
• Linux
• Free software
• Software
• RPM Package Manager
• Red Hat