dominic-mulligan.co.uk Report : Visit Site

Technical data of the dominic-mulligan.co.uk

Geo IP provides you such as latitude, longitude and ISP (Internet Service Provider) etc. informations. Our GeoIP service found where is host dominic-mulligan.co.uk. Currently, hosted in Netherlands and its service provider is Go Daddy Netherlands B.V. .

cl.cam.ac.uk 

HTTP Header Analysis

HTTP Header information is a part of HTTP protocol that a user's browser sends to called Apache containing the details of what the browser wants and will accept back from the web server.

DNS

HtmlToText

skip to content menu home about me papers teaching and student supervision s-repls previous s-repls meetings june 1, 2018 srepls 9 a success by uncategorized 0 comments srepls 9 was another successful srepls meeting, with around 40 attendees from universities and companies all over the south east. many thanks to martin berger for organising the meeting, and the invited and volunteered speakers for contributing their talks. read more march 17, 2018 srepls 9 call for talks by uncategorized 0 comments martin berger has issued the call for talks for srepls 9, that will be held in may at the university of sussex in brighton. if you would like to volunteer a talk, then get in touch with martin. read more january 10, 2018 srepls 9 dates announced by uncategorized 0 comments srepls 9 will be held on friday 25th may 2018 at the university of sussex at brighton. the event is being organised by martin berger. see the srepls 9 homepage here for more details. read more january 10, 2018 srepls 8 a success by uncategorized 0 comments srepls 8 was held on friday 5th january at king’s college, london, and attracted around 50 participants. thanks to laurie tratt and lukas diekmann for organising another great event, as well as all speakers and attendees for contributing to the event. read more november 1, 2017 arm by uncategorized 0 comments i am now a senior formal verification researcher within the security and cryptography group at arm research, cambridge. read more october 26, 2017 distinguished paper and artefact award by uncategorized 0 comments the paper “verifying strong eventual consistency in distributed systems” and the accompanying isabelle formalisation has been honoured with two separate awards at the oopsla/splash conference: a distinguished paper award for the paper itself. a distinguished artefact award for the isabelle formalisation accompanying the work (5 out of 34 artefacts granted a distinction). this was joint read more october 25, 2017 s-repls 7 a success by uncategorized 0 comments s-repls 7, held at the university of warwick, and organised by michael gale, sara kalvala, andrzej murawski, and david purser, was another success. around 50 people attended the event. see the s-repls website here for more details of the talks presented. read more september 4, 2017 new job at arm, cambridge by uncategorized 0 comments i am happy to announce that from 1st november 2017 i will be joining arm research, cambridge. read more august 15, 2017 srepls 7 announced by uncategorized 0 comments the seventh iteration of the south of england regional programming languages seminar, to be held at the university of warwick, has been announced with an open call for participants and speakers ongoing. see here for more details. srepls 7 is being organised by andrzej murawski, sara kalvala, michael gale, and david purser. many thanks to read more posts navigation 1 2 3 4 search archives june 2018 march 2018 january 2018 november 2017 october 2017 september 2017 august 2017 may 2017 january 2017 july 2016 june 2016 april 2016 march 2016 november 2015 october 2015 september 2015 may 2015 april 2015 may 2014 december 2013 october 2012 september 2012 august 2011 meta log in copyright © 2018. theme by mythemeshop . back to top ↑

URL analysis for dominic-mulligan.co.uk

http://dominic-mulligan.co.uk/?m=201108
http://dominic-mulligan.co.uk/?p=364
http://dominic-mulligan.co.uk/?p=387
http://dominic-mulligan.co.uk/?author=1
http://dominic-mulligan.co.uk/?m=201209
http://dominic-mulligan.co.uk/?p=380
http://dominic-mulligan.co.uk/?m=201405
http://dominic-mulligan.co.uk/?page_id=148
http://dominic-mulligan.co.uk/?m=201509
http://dominic-mulligan.co.uk/?page_id=205
http://dominic-mulligan.co.uk/?m=201505
http://dominic-mulligan.co.uk/?m=201504
http://dominic-mulligan.co.uk/?p=380#respond
http://dominic-mulligan.co.uk/?p=372#respond
http://dominic-mulligan.co.uk/?p=330#respond

Whois Information

Whois is a protocol that is access to registering information. You can reach when the website was registered, when it will be expire, what is contact details of the site with the following informations. In a nutshell, it includes these informations;

Domain name:
dominic-mulligan.co.uk

Registrant:
Dominic Mulligan

Registrant type:
Unknown

Registrant's address:
23 Robbs Walk
St. Ives
Cambridgeshire
PE27 5NA
United Kingdom

Data validation:
Nominet was able to match the registrant's name and address against a 3rd party data source on 20-Dec-2012

Registrar:
GoDaddy.com, LLP. [Tag = GODADDY]
URL: http://uk.godaddy.com

Relevant dates:
Registered on: 23-Aug-2011
Expiry date: 23-Aug-2019
Last updated: 09-Aug-2017

Registration status:
Registered until expiry date.

Name servers:
ns35.domaincontrol.com
ns36.domaincontrol.com

WHOIS lookup made at 16:18:56 13-Oct-2017

--
This WHOIS information is provided for free by Nominet UK the central registry
for .uk domain names. This information and the .uk WHOIS are:

Copyright Nominet UK 1996 - 2017.

You may not access the .uk WHOIS or use any data from it except as permitted
by the terms of use available in full at http://www.nominet.uk/whoisterms,
which includes restrictions on: (A) use of the data for advertising, or its
repackaging, recompilation, redistribution or reuse (B) obscuring, removing
or hiding any or all of this notice and (C) exceeding query rate or volume
limits. The data is provided on an 'as-is' basis and may lag behind the
register. Access may be withdrawn or restricted at any time.

  REFERRER http://www.nominet.org.uk

  REGISTRAR Nominet UK

SERVERS

  SERVER co.uk.whois-servers.net

  ARGS dominic-mulligan.co.uk

  PORT 43

  TYPE domain

OWNER

  ORGANIZATION Dominic Mulligan

TYPE
Unknown

ADDRESS
23 Robbs Walk
St. Ives
Cambridgeshire
PE27 5NA
United Kingdom
Data validation:
Nominet was able to match the registrant's name and address against a 3rd party data source on 20-Dec-2012

DOMAIN

  SPONSOR GoDaddy.com, LLP. [Tag = GODADDY]

  CREATED 2011-08-23

  CHANGED 2017-08-09

STATUS
Registered until expiry date.

NSERVER

  NS35.DOMAINCONTROL.COM 216.69.185.18

  NS36.DOMAINCONTROL.COM 208.109.255.18

  NAME dominic-mulligan.co.uk

DISCLAIMER
This WHOIS information is provided for free by Nominet UK the central registry
for .uk domain names. This information and the .uk WHOIS are:
Copyright Nominet UK 1996 - 2017.
You may not access the .uk WHOIS or use any data from it except as permitted
by the terms of use available in full at http://www.nominet.uk/whoisterms,
which includes restrictions on: (A) use of the data for advertising, or its
repackaging, recompilation, redistribution or reuse (B) obscuring, removing
or hiding any or all of this notice and (C) exceeding query rate or volume
limits. The data is provided on an 'as-is' basis and may lag behind the
register. Access may be withdrawn or restricted at any time.

  REGISTERED yes

Mistakes

The following list shows you to spelling mistakes possible of the internet users for the website searched .