**Uni**

ABW (u.berger),
MyUniHub,
Kochelsee,
Uni login,
My papers,
Uni,
AMS (Award
Managment System,
Uni Staff Directory,
Campus,
CS Department,
CS Academic
Staff,
Handbook,
CS
Sharepoint (Teaching Calendar, Committee Documents, ...),
CS
Colloquium,
PCV
Seminar,
Algebraic Specification
Seminar,
Visible Lunch,
CS Site map,
MRes in
Logic and Computation,
Math Department,
CS Diary,
CS Student Forum,
CS Intranet,
CoS Calendar,
CoS Intranet,
College Intranet (GAMS),
Intranet,
Timetable,
Voyager,
CS timetable,
CS Student Forum
,
CS mailing lists
,
CS mailing lists (admin)
,
CS calendar
,
Teaching Diary
,
CoS rooms
,
Research Office
,
Academic Guide,
Estates,
Itwales,
Blackboard
,
RC,
Uni Tel
Term dates,
RIS(REF, user=full email address),
Theory Lab (CoFo 209) Calendar,
Uni logos and forms

**Local**

Brangwyn Hall,
St David's Hall,
Gower Society,
Grand Theatre,
Hotels,
Hotels
(recommended by UWS),
Restaurants,
Sketty Hall,
Taxis,
Taxis Swansea,
BBC
Tides,
Tides,
Surf,
BBC Weather,
Norwegian Weather,
Weather
(Brecon Beacons),
Sunrise Swansea,
Sunrise UK.

**News**

BBC,
BR,
Guardian,
icWales,
Independent,
Spiegel,
SZ,
Tagesschau,
taz,
THES

**Events**
Theory Blog,
EasyChair,
AMS Calendar

**2006**
TCM (Munich),
LC (Nijmegen),
CiE (Swansea),
CL&C (Venice),
PCC (Ilmenau)

**2007**
PCC (Swansea),
BMC (Swansea),
Types (Udine),
CiE (Siena),
LCC (Wraclaw),
Proof Theory (Bonn),
BLC (London),
Domains VIII (Novosibirsk),
CIP (Paris)

**2008**
Russell (Swansea),
Types (Turin),
Buchholz 60 (Munich),
Oberwolfach,
MFPS (Philadelphia),
CiE (Athens),
LC (Berne),
Workshop on Proof Theory (Berne),
CL&C (Reykjavik),
PCC (Oslo),
CCA (Hagen),
MAP (ICTP Trieste),
BLC (Nottingham),
TCS (Milano),
Domains IX (Brighton),
Computer Science 2008 (Cambridge).

**2009**
NIBATC (Birmingham),
Proof Theory and Constructivism (Leeds),
CCC (Cologne),
CiE (Heidelberg),
CCA (Ljubljana),
BLC (Swansea),
CSL (Coimbra),
AVOCS (Swansea/Gregynog)

**2010**
Logical Approaches to Barriers in Computing and Complexity (Greifswald),
Mal'tsev Meeting (Novosibirsk),
MFPS (Ontario),
Constructive Mathematics: Proofs and Computation
(Chiemsee)
,
CiE (Ponta Delgada, Azores),
Program Extraction and Constructive Proofs (Brno),
Classical Logic and Computation (Brno),
MFCS/CSL (Brno),
BLC (Birmingham)

**2011**
Workshop on Logic and Computation (Kanazawa),
BCTCS (Birmingham),
MFPS XXVII (Pittsburgh),
11th Wessex Theory Seminar (Leicester),
LiCS (Toronto),
LCC (Toronto),
CiE (Sofia),
LMPS (Nancy),
BLC (Edinburgh),
Domains X (Swansea),
Computing with Infinite Data: Topological and Logical Foundations
(Dagstuhl)

**2012** - the
Alan Turing Year,
ACM Turing Centenary,
Logic and interactions
(CIRM, Marseille),
JAIST Spring School (Kanazawa),
BCTCS (Manchester),
Semantics and Syntax: A Legacy of Alan Turing (Newton Institute, Cambridge),
COMPUTAL Workshop CCC (Trier),
MFPS XXVIII (Bath)
(
Programme),
LCC (Dubrovnik),
Physics and Computation (Swansea)

**2013**
Foundation of Mathematics for Computer-Aided Formalization (Padova)
,
JAIST (Kanazawa) ,
MALOA (CIRM) ,
MFPS XXIX (Tulane) ,
CCC (Gregynog) ,
CCA (Nancy) ,
Duality in Computer Science (Dagstuhl)
,
LCC (Torino) ,
BLC (Leeds) ,
Proof (Berne) ,
Coinduction for computation structures and programming languages
(Shonan),
Computational interpretations of mathematical theorems (Chicheley) ,

**2014**
UNISA,
CiE (Budapest),
VSL (Vienna),
Proof, Truth, Computation
(Chiemsee),
CCC (Ljubljana),
MFO (Oberwolfach),

**2015**
JAIST Logic
Workshop Series 2015: Constructivism and Computability
(Kanazawa, 2-6 March),
UNISA (27 March - 24 April),
Symposium
in honor of Herman Jervell and Dag Normann (Oslo, 21-22 May),
PCC
(Oslo, 23-24 May),
LCC (Kyoto, 4-5 July),
CCA (Tokyo, 12-15 July),
Domains XII -
Boole Conference (Cork, 25-28 August),
BLC (Newton Institute,
Cambridge, 2-4 September),
CCC (Kochel, 14-18 September),
Duality in Computer Science (Dagstuhl, 25-30 October),

**2016**

Effective Analysis: Foundations, Implementations, Certification
(MAP, CIRM, 11-15 January),
,
Mathematics for Computation
(Niederaltaich, 8-13 May),
Workshop on Intersection Types (Paris, 13-14 June),
Logic Colloquium (Leeds, 31 July - 6 August),
CSL (Marseille, 29 August - 1 September),
Logic and Computational Complexity (Marseille, 2-3 September),
Logic, Complexity and Automation (Obergurgl, 5-6 September),
Workshop on Mathematical Logic and its Applications (Kyoto, 16-17 September),
Interval Analysis and Constructive Mathematics (13-18 November, Oaxaca),

**2017**

UC
(28 March-29 April)
,
CCC
(Nancy, 26-30 June)
,
ISSUGE Summer School
(Genua, 14-16 July)
,
Humboldt-Kolleg Proof Theory as Mathesis Universalis
(Villa Vigoni, Lago di Como, 24-27 July)
,
Computability and Reducibility
(Hiddensee, 6-11 August)
,
BLC, University of Sussex, 8-9 September)
,
Mathematical Logic: Proof Theory, Constructive Mathematics
(Oberwolfach, 5-11 November)

**2018**

Second Workshop on Mathematical Logic and its Applications
(5-9 March, Kanazawa, Japan)

Workshop: Proofs and Computation
(2-6 July, HIM, Bonn, Germany)

Workshop DOMAINS
(7-8 July, Oxford, UK)
(part of FLoC)

PCC
(19-20 July, Bonn, Germany)

Hilbert-Bernays Summer School on Logic and Computation
(23-27 July, Göttingen, Germany)

CiE
(30 July - 3 August, Kiel, Germany)

Workshop: Constructive Mathematics
(6-10 August, HIM, Bonn, Germany)

CCA
(5-8 August, Kochel, Germany)

Autumn school "Proof and Computation"
(16-22 September, Fischbachau, Germany)

CCC
(24-28 September, Faro, Portugal)

**2019**

Third Workshop on Mathematical Logic and its Applications, MLA'2019
(11-14 March, Nancy, France)

BCTS 35
(15-17 April, Durham, UK)

Facets of realizability
(1-3 July, Paris-Cachan, France)

CLMPST (Glivenko Symposium)
(5-10 August, Prague, Czech Republic)

CCC
(2-6 September, Ljubljana, Slovenia)

Second Summer School and Workshop of the Proof Society
(8-13 September, Swansea, UK)

**2020**

BCTS 36
(6-8 April, Swansea, UK)

**Lookup**

Google,
Google scholar,
Yahoo,
LEO,
The Free Dictionary,
English-Welsh,
IEP,
mathscinet,
Logic around the world,
Logic matters,
Higher-order logic (by B Enderton),
Computability (by N Immerman),
Type theory (by T Coquand),
Church's simple theory of types (by P Andrews),
[Logic] archive ,
BRICS,
MSC(AMS),
OED,
DBLP,
DOI,
Karlsruhe Computer Science Bibliographies,
ISSN
(search by),
Zentralblatt MATH,
MathSciNet,
Mathworld,
Planet Math,
Wikipedia
(
on the simply typed lambda calculus),
HaWiki,
Citeseer,
Lars Birkedal's
realisability bibliography,
Maps,
Google maps,
openstreetmap,
BT,
Currencies,
Streetmap,
Upmystreet,
Multimap,
BBC Radio 3,
Post Codes (Royal Mail),
World Clock,
Time,
Yellow pages,
YouTube

**Travel**

Travel advice,
DB,
Trains UK,
First Great Western,
Rail-Air-Link Rea-Hea,
Eurostar,
TGV,
National Express,
AF,
BA,
BmiBaby,
EasyJet,
Germanwings,
KLM (rubbish web page),
LH,
Ryanair,
SAS,
S7 (Russia),
Cheapflights,
Onlinetravel,
Opodo,
Bristol Airport,
LHR,
Cardiff Airport

**Organizations, Journals, Publishers**

CUP,
OUP,
de Gruyter,
Ontos,
Ontos,
MyMathLab
APAL,
UKCRC (Grand Challenges in Computing Research),
ACM
(Classification,
Editor's Letters),
UCU,
ASL,
BCTCS,
BLC,
CCA,
Coalgebra,
DICE,
LCC,
Dagstuhl,
DVMLG,
EACSL,
EATCS,
ENTCS,
EPTCS,
EPSRC,
EPSS,
EU Portal
,
FOM,
JLAP,
arXiv,
CoRR,
Fundamanta Informaticae,
IFCL,
JLA,
JLC,
JUCS,
KGS,
LMCS,
MSCS,
ToCS,
LMS,
Logic at LMU,
MAP,
MATHLOGAPS,
MPIM,
Oberwolfach,
Royal Society,
Simons Institute,
Types,
Wessex Theory Seminar,
WIMCS

**Proof Assistants, Programming Languages, Software**

Agda,
Coq,
Isabelle,
Minlog,
Maude,
Nuprl,
F#,
Java
(Poly,
Generic,
Teaching
),
Haskell
(Tutorial,
Online report,
Graphics
Generic Haskell,
Haskell
libraries,
GHC documentation
),
GMP,
Lambda the Ultimate,
Petite Chez Scheme,
Pizza,
Scheme,
Schemers.org,
CVS Tutorial,
easychair,
Formal Systems (PROBE,FDR2)
(FDR2 user manual,
CSP-M syntax),
MPFR online

**Document preparation**

Emacs wiki,
XEmacs,
CTAN,
Latex symbols,
Neil Carter's fabulous
LaTeX tricks,
Latex (Cambridge, Eng. Dep.),
Latex for
Logicians,
Latex maths symbols,
AMS Latex,
Latex Beamer Class,
CTAN latex packages,
HTML special characters

**Shopping**

Amazon,
ebay,
freecycle.

**History**

St Andrews,
Mathematicians on stamps,
mathematical
words
and
symbols,
Turing (page by Andrew Hodges).

**Jobs**

GI,
Forschung und Lehre,
Math Jobs,
Stellenbörse Aachen,
Zeit

**Gems**

Mona,
Utah,
Maths Problems,
Collatz Problem,
cool math site of the week
Logic as Domino game

**Other**

ABRSM,
Aquarium guide,
Animated sorting,
Beetroots,
Caradog String Quartett,
IMSLP,
Mahjong,
München,
Number Gossip,
HTML color codes,
Bruckner,
Bruckner,
Shisen Sho,
Sourdough (D),
Sourdough (UK),
Sourdough (US),
EWD,
EWD1054:
On hygiene, intellectual and otherwise
SPORE