JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for SREPLS Archives


SREPLS Archives

SREPLS Archives


January 2017


View:

Show Author | Hide Author
Show Table of Contents | Hide Table of Contents

 

Table of Contents:

"Improving Agda's equational reasoning using reflection": Holes 0.1.0 (1 message)
Dinner PREORDERS [was: Re: S-REPLS-5 @ Oxford] (2 messages)
INVEST workshop on verification and testing, Saturday 11 February (1 message)
S-REPLS 6 at University College, London (1 message)
S-REPLS-5 @ Oxford (2 messages)
UCLAN 2ND ANNUAL CONFERENCE ON CYBERCRIME (1 message)

LISTSERV Archives

LISTSERV Archives

SREPLS Home

SREPLS Home

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Subject Sorted by Subject, Chronologically

From

Date

Size

New Thread

"Improving Agda's equational reasoning using reflection": Holes 0.1.0

"Improving Agda's equational reasoning using reflection": Holes 0.1.0

Bradley Hardy <[log in to unmask]>

Fri, 27 Jan 2017 12:49:55 +0000

192 lines

New Thread

Dinner PREORDERS [was: Re: S-REPLS-5 @ Oxford]

Dinner PREORDERS [was: Re: S-REPLS-5 @ Oxford]

Ohad Kammar <[log in to unmask]>

Wed, 11 Jan 2017 13:22:44 +0000

262 lines

Re: Dinner PREORDERS [was: Re: S-REPLS-5 @ Oxford]

Luke Geeson <[log in to unmask]>

Wed, 11 Jan 2017 16:57:12 +0000

247 lines

New Thread

INVEST workshop on verification and testing, Saturday 11 February

INVEST workshop on verification and testing, Saturday 11 February

Alastair Donaldson <[log in to unmask]>

Tue, 17 Jan 2017 15:08:12 +0000

35 lines

New Thread

S-REPLS 6 at University College, London

S-REPLS 6 at University College, London

Dominic Mulligan <[log in to unmask]>

Fri, 13 Jan 2017 10:08:45 +0000

36 lines

New Thread

S-REPLS-5 @ Oxford

S-REPLS-5 @ Oxford

Ohad Kammar <[log in to unmask]>

Sun, 1 Jan 2017 21:30:04 +0000

103 lines

Re: S-REPLS-5 @ Oxford

Alastair Donaldson <[log in to unmask]>

Fri, 6 Jan 2017 14:32:14 +0000

113 lines

New Thread

UCLAN 2ND ANNUAL CONFERENCE ON CYBERCRIME

UCLAN 2ND ANNUAL CONFERENCE ON CYBERCRIME

ConferenceAnd Events <[log in to unmask]>

Wed, 25 Jan 2017 09:21:53 +0000

695 lines

JiscMail Tools


RSS Feeds and Sharing


Advanced Options


Archives

October 2017
September 2017
August 2017
June 2017
May 2017
April 2017
March 2017
January 2017
December 2016
November 2016
September 2016
July 2016
June 2016
April 2016
March 2016
February 2016
December 2015
November 2015
October 2015
August 2015
June 2015
May 2015
April 2015


WWW.JISCMAIL.AC.UK

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager