Uni
UWS,
Campus,
CS Department,
CS Academic
Staff,
CS
Colloquium,
PCV
Seminar,
Algebraic Specification
Seminar,
CS Site map,
MRes in
Logic and Computation,
Math Department,
CS Student Forum,
Intranet,
Voyager,
CS timetables
,
CS Student Forum
,
CS mailing lists
,
CS mailing lists
,
CS calendar
,
Research Office
,
Estates,
Itwales
Local
St David's Hall,
Gower Society,
Grand Theatre,
Hotels,
Hotels
(recommended by UWS),
Restaurants,
Sketty Hall,
Taxis,
Taxis Swansea,
Tel,
BBC
Tides,
Tides,
Surf,
BBC Weather,
Weather
(Brecon Beacons),
Sunrise Swansea,
Sunrise UK.
News
BBC,
BR,
Guardian,
icWales,
Independent,
Spiegel,
SZ,
Tagesschau,
taz,
THES
Events
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),
(EasyChair),
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, 17-20 February),
Mal'tsev Meeting (Novosibirsk, 2-6 May),
MFPS (Ontario, 6-10 May),
Constructive Mathematics: Proofs and Computation
(Fraueninsel, Chiemsee, 7-11 June 2010)
,
CiE (Ponta Delgada, Azores, 30 June - 4 July),
Program Extraction and Constructive Proofs (Brno, 21-22 August)
Classical Logic and Computation (Brno, 21-22 August, ms)
Classical Logic and Computation (Brno, 21-22 August, svb)
MFCS/CSL (Brno, 23-27 August)
BLC (Birmingham, 2-4 September)
2011
LMPS (Nancy, 19-26 July)
Computing with Infinite Data: Topological and Logical Foundations
(Dagstuhl, 9-14 October)
Lookup
Google,
LEO,
English-Welsh,
mathscinet,
Logic around the world,
[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,
BT,
Currencies,
Streetmap,
Upmystreet,
Multimap,
BBC Radio 3,
Post Codes (Royal Mail),
World Clock,
Time,
YouTube
Travel
Travel advice,
DB,
Trains UK,
First Great Western,
Rail-Air-Link Rea-Hea,
Eurostar,
National Express,
BA,
BmiBaby,
EasyJet,
Germanwings,
KLM (rubbish web page),
LH,
Ryanair,
SAS,
S7 (Russia),
Cheapflights,
Onlinetravel,
Opodo,
Bristol Airport,
LHR,
Cardiff Airport
Organizations, Journals, Publishers
APAL,
UKCRC (Grand Challenges in Computing Research),
ACM
(Classification),
UCU,
ASL,
BCTCS,
BLC,
CCA,
Coalgebra,
Dagstuhl,
EACSL,
EATCS,
EPSRC,
EPSS,
FOM,
JLAP,
Fundamanta Informaticae,
IFCL,
JUCS,
KGS,
LMCS,
ToCS,
LMS,
Logic at LMU,
MAP,
MATHLOGAPS,
MPIM,
Oberwolfach,
Royal Society,
Types,
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
),
Lambda the Ultimate,
Petite Chez Scheme,
Pizza,
Scheme,
Schemers.org,
CVS Tutorial,
easychair
Document preparation
CTAN,
Latex (Cambridge, Eng. Dep.),
Latex for
Logicians,
Latex maths symbols,
AMS Latex,
Latex Beamer Class,
CTAN latex packages
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
Other
IMSLP,
München,
Number Gossip,
HTML color codes,
Bruckner,
Bruckner,
Sourdough (D),
Sourdough (UK),
Sourdough (US),
EWD,
EWD1054:
On hygiene, intellectual and otherwise
SPORE