Uni
My papers,
Uni,
Uni Staff Directory,
Campus,
Uni email,
CS Department,
CS Academic
Staff,
Handbook,
CS
Colloquium,
PCV
Seminar,
Algebraic Specification
Seminar,
Visible Lunch,
CS Site map,
MRes in
Logic and Computation,
Math Department,
CS Student Forum,
CS Intranet,
College of Science Intranet,
Intranet,
Voyager,
CS timetable and other info,
CS timetable,
CS Student Forum
,
CS mailing lists
,
CS mailing lists (admin)
,
CS calendar
,
Research Office
,
Academic Guide,
Estates,
Itwales,
Blackboard
,
RC,
Uni Tel
Term dates
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
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, 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)
,
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
Workshop on Logic and Computation (Kanazawa, 8-9 February),
BCTCS (Birmingham, 18-21 April),
MFPS XXVII (Pittsburgh, 25-28 May),
11th Wessex Theory Seminar (Leicester, 17 June),
LiCS (Toronto, 21-24 June),
LCC (Toronto, 25 June),
CiE (Sofia, 27 June - 2 July),
LMPS (Nancy, 19-26 July),
BLC (Edinburgh, 1-3 September),
Domains X (Swansea, 5-7 September),
Computing with Infinite Data: Topological and Logical Foundations
(Dagstuhl, 9-14 October)
2012 - the
Alan Turing Year
Logic and interactions
(CIRM, Marseille, 30 January - 2 March)
JAIST Spring School (Kanazawa, 5-9 March)
Semantics and Syntax: A Legacy of Alan Turing (Newton Institute, Cambridge, 15 May - 14 June)
COMPUTAL Workshop CCC (Trier, 29 May - 2 June)
MFPS XXVIII (Bath, 6-9 June)
LCC (Dubrovnik, 24 June)
Lookup
Google,
Yahoo,
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,
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,
APAL,
UKCRC (Grand Challenges in Computing Research),
ACM
(Classification),
UCU,
ASL,
BCTCS,
BLC,
CCA,
Coalgebra,
Dagstuhl,
DVMLG,
EACSL,
EATCS,
EPTCS,
EPSRC,
EPSS,
EU Portal
,
FOM,
JLAP,
arXiv,
CoRR,
Fundamanta Informaticae,
IFCL,
JLA,
JUCS,
KGS,
LMCS,
MSCS,
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
),
GMP,
Lambda the Ultimate,
Petite Chez Scheme,
Pizza,
Scheme,
Schemers.org,
CVS Tutorial,
easychair,
Formal Systems
Document preparation
Emacs wiki,
CTAN,
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,
Animated sorting,
Caradog String Quartett,
IMSLP,
München,
Number Gossip,
HTML color codes,
Bruckner,
Bruckner,
Sourdough (D),
Sourdough (UK),
Sourdough (US),
EWD,
EWD1054:
On hygiene, intellectual and otherwise
SPORE