Frekventa länkar och genvägar
Skolbloggar Adolf Fredrik
klass 4c
och
klass 7e
och
gosskören,
och
Sandåkra.
Kalender för TCS-gruppen
Translitterering kyrilliska
Webbmejl på
KTH,
Google Gmail,
Hotmail
och
Home.se
Träna engelska ord på
FreeRice.com
Kommande konferenser etc: listor från
Iftah Gamzu
och
Erik Demaine
Inloggning på
Bank of America,
Skandiabanken,
Nordea
Kalender för
Sverige 2017
(2016,
2018),
och
landsnummer
från
www.timeanddate.com
The Universal Currency Converter (lokal version)
Online viruskontroll med mera:
BitDefender,
F-Secure,
Kaspersky,
McAfee,
Panda,
Symantec,
Gibson Research Corporation
(med
Shields UP!!)
Bredbandsmätning:
Bredbandskollen.se,
Speedtest.net
Gula Sidorna
Nyheter
Google Reader
med RSS-flöden
New York Times
Dagens Nyheter
(DN börs
och
DN:s språkspalt)
Svenska Dagbladet
(och
SvD:s språkspalt)
Expressen
Aftonbladet
(med
väderprognos för Stockholm
från
SMHI)
Sveriges Radio
(med
Radijo
Sjvetsija och deras
MP3-filer)
Ryska tidningar:
Gazeta.ru,
Nezavisimaja gazeta,
Novaja gazeta,
Novoje vremja,
Vremja,
Kommersant,
Izvestija,
news.yandex.ru
Rysk radio:
Echo Moskvy
(länkar till alternativ
för direktsändning,
direktsändning
i 128 kB/s
och
senaste nyhetssändning),
Viktor Sjenderovitj
(med
Plavlenyj syrok)
Rysk TV:
lista över ryska TV-kanaler,
Pervyj kanal
(direktsändning),
RTR Planeta
(direktsändning)
Estniska tidningar:
Postimees,
Eesti Päevaleht,
Eesti Ekpress
Några bloggar
Datavetenskap och matematik:
Scott Aaronson,
Lance Fortnow,
Timothy Gowers,
Richard Lipton,
Michael Mitzenmacher,
Mihai Pătraşcu,
Terence Tao,
Luca Trevisan,
Suresh Venkatasubramanian
Populärvetenskap:
Brian Hayes,
Malin Sandström
Annat:
Carl Bildt,
Credoakademin,
SvD:s ledarblogg och
P J Anders Linder,
Utrikesbloggen
Datalogisk/matematisk referenslitteratur
NIST's dictionary of algorithms and data structures
Engelsk-svensk ordlista för högskolematematiken
Free On-line Dictionary of Computing (FOLDOC)
(med
spegelsajt på Sunet)
The On-Line Encyclopedia of Integer Sequences
The Complexity Zoo
Allmän referenslitteratur och ordböcker
Större lista över
språkrelaterade länkar
Wikipedia
Nationalencyklopedin
The Chicago Manual of Style
Engelska ordböcker på nätet från
Merriam-Webster
och
Cambridge
Dictionaries
Lexin,
en kombination av lexikon och ordböcker mellan svenska och andra språk
Språkbanken, en språklig referensdatabas vid Göteborgs universitet
Svenska språknämnden, Sveriges officiella språkvårdsorgan
(och
Svenska språknämndens frågelåda)
TT-språket,
en samling skrivregler för TT:s medarbetare
Terminologicentrum TNC,
Sveriges nationella centrum för terminologi och fackspråk
Förkortningsordböcker på
engelska (Acronymfinder.com)
och
ryska (Sokr.ru)
Multitran.ru, rysk-engelska och engelsk-ryska ordböcker
(och
reservlänk)
Tidskrifter och dylikt
ACM
och
ACM Digital Library (med bl.a STOC, Journal of the ACM)
arXiv
Computing Research Repository
(recent
submissions
och
arXivs huvudsida)
Electronic Colloquium on Computational Complexity
(rapporter
2009,
2008,
2007,
2006,
2005,
2004)
Foundations
and Trends in Theoretical Computer Science
from
Now Publishers
IEEE
och
IEEE Xplore
(med bl.a.
CCC,
FOCS,
IEEE Transactions on Information Theory)
American Mathematical Society
och
MathSciNet
ScienceDirect
(med bl.a.
Information Processing Letters,
Journal of Algorithms,
Journal of Complexity,
Journal of Computer and System Sciences,
Theoretical Computer Science)
Society for Industrial and Applied Mathematics
och
SIAM Journal on Computing
Springer Verlag
med
LINK,
Lecture Notes in Computer Science,
Combinatorica
och
Computational Complexity
Wiley InterScience
(med bl.a. Random Structures and Algorithms)
Bibliografier och referensdatabaser
DBLP Computer Science Bibliography
Google Scholar
Microsoft Academic Search
The Collection of Computer Science Bibliographies
The Hypertext Bibliography Project
Institutioner, högskolor m.m.
Teorigruppen (TCS)
(med officiella
seminarier
och
inofficiella
doktorandseminarier)
KTH CSC
(med
Numero,
systemgruppen,
lokalbokning,
KTH RES,
egenrapportering (ledighet etc),
blanketter,
friskvårdsbidrag,
formulär för IT-inköp,
KTH-katalog för IT-inköp,
bokinköp,
kursutvärdering med ACE,
bibliotekssökning
och
karta
över seminarierum och hörsalar)
Institutionen för matematik
på KTH (med
kalendarium)
och
Stockholms matematikcentrum
KTH
(med
diariet W3D3,
info om tjänsteresor,
info om KTH RES,
lokalbokning,
KTHs bibliotek,
SACO-info
och
Mina
sidor för studenter)
Stockholms universitet
och
Matematiska
institutionen
på SU
Information om seminarieserier
Teorigruppens informella doktorandseminarier
Teorigruppens officiella seminarier
Matematikkalendarium
KTH/SU Mathematics Colloquium
Seminarier på S3, KTH
Seminarier på SICS
Seminarier på Albanova
Seminarier på Mittag-Leffler
Kurser, seminarier, konferenser, resor
2011:
2nd Symposium on Innovations in Computer Science (ICS '11),
6-9 januari
Computational Complexity of Discrete Problems,
Dagstuhl, 20-25 mars
SAT/SMT Solver Summer School,
MIT, 12-17 juni
Complexity and finite models (CMF 2011),
Paris, 22-24 juni
Synergies in Lower Bounds,
Århus, 28 juni - 1 juli
38th International Colloquium on Automata, Languages and Programming
(ICALP '11),
Zürich, 4-8 juli
Proof complexity workshop,
Banff, 2-7 oktober
2010:
Besök hos
Toniann Pitassi
på
University of Toronto,
maj;
42th ACM Symposium on Theory of Computing (STOC '10)
5-8 juni;
25th IEEE Conference on Computational Complexity (CCC '10)
9-11 juni;
Workshop on Tractability at Microsoft Research, Cambridge
5-6 juli;
Propositional Proof Complexity: Theory and Practice
9 juli,
workshop knuten till
Federated Logic Conference (FLoC '10)
9-21 juli;
Workshop on Analysis and Geometry of Boolean Threshold Functions
21-22 oktober;
51st IEEE Symposium on Foundations of Computer Science (FOCS '10)
23-26 oktober;
Besök hos
Eli Ben-Sasson
på
Technion, Haifa, Israel, 30 november - 10 december
2009:
Advanced Complexity Theory (MIT 6.841);
DIMACS Workshop on Property Testing
30 mars - 2 april;
41st ACM Symposium on Theory of Computing (STOC '09)
30 maj - 2 juni
och
Workshop on Theory and Many-Cores 29 maj;
36th International
Colloquium on Automata, Languages and Programming (ICALP '09)
5-12 juli;
24th IEEE Conference on
Computational Complexity (CCC '09)
15-18 juli;
Barriers in Computational Complexity
25-29 augusti;
Topics in Theoretical Computer Science:
An Algorithmist's Toolkit (MIT 18.409);
18th EACSL Conference
on Computer Science Logic (CSL '09)
7-11 september;
Fall School of Logic and Complexity
21-25 september;
50th IEEE Symposium on
Foundations of Computer Science (FOCS '09)
24-27 oktober
2008:
Besök hos
Eli Ben-Sasson
på
Technion, Haifa, Israel, mars månad;
Israel CS Theory Day
17 mars;
40th ACM Symposium on Theory of Computing (STOC '08)
17-20 maj;
Dagstuhl seminar on
Computational Complexity of Discrete Problems
14-19 september;
49th Annual IEEE Symposium on
Foundations of Computer Science (FOCS '08)
26-28 oktober
2007:
Summer
School on Algorithmic Data Analysis (SADA07) 28 maj - 1 juni;
Federated
Computer Research Conference (FCRC 07)
med
STOC '07 10-13 juni
och
CCC '07 12-16 juni;
Workshop on Approximation Algorithms for Combinatorial Optimization Problems
och Workshop on Randomization and Computation
(APPROX 2007 + RANDOM 2007)
20-22 augusti
samt minikurs i
Additive Combinatorics and Computer Science
23-24 augusti;
3rd BiCi International PhD School on
Advanced Retrieval and Web Mining
27-31 augusti;
Fall School of Logic and Complexity
16-22 september;
48th IEEE Symposium on
Foundations of Computer Science (FOCS '07)
20-23 oktober
2006:
Dagstuhl Seminar
on Complexity of Boolean Functions 12-17 mars;
Isaac Newton Institute Workshop:
New Directions in Proof Complexity 10-13 april;
COMBSTRU
School on Computational Complexity
2-8 maj;
38th ACM Symposium on Theory of Computing (STOC '06)
21-23 maj
2005:
Teoretikerns verktygslåda / Theorist's Toolkit
2004:
Estonian Winter School in Computer Science;
2003:
2D1441 Seminariekurs i teoretisk datalogi: kryptografi;
Doktorandkurs i kretskomplexitet
2002:
MA4300 Talteori;
2D1449 Kryptografins grunder;
Workshop on Complexity and Probability;
Fall School of the Logic Seminar,
Mathematical Institute
of the Academy of Sciences of the Czech Republic;
2D5369 Felrättande koder från ett datalogiperspektiv
Postdok på MIT
Diverse praktiska CSAIL-länkar:
hemsida
CSAIL,
Infrastructure group,
resurssida,
postdok-info
Diverse praktiska MIT-länkar:
interaktiv
karta över MIT,
datorer
på MIT
employee
self service,
MIT Athletics
med
öppettider,
International
Scholars Office (ISO)
med
praktisk info för utlänningar,
Postdoctoral
Scholars @ MIT
MIT
Center for Work, Family & Personal Life
med
child
care information,
spouses&partners@mit
med
Newcomers' Guide
Sjukvård och försäkringar:
MIT
affiliate heath insurance;
MIT
Medical med
MIT Medical's Pediatrics Service
Annonser om allt mellan himmel och jord:
Craig's List i Boston
Prisjämförelser:
pricegrabber.com,
bizrate.com,
nextag.com,
shopping.com
Arlington:
officiell
webbplats för Arlington,
Robbins Library
Kollektivtrafik:
Massachusetts Bay Transport Authority
Väder:
wunderground.com,
weather.com
Gula sidorna:
www.superpages.com,
www.yellowpages.com,
www.yellow.com
Amerikanska
ambassadens visuminfo
Forskare
Dimitris Achlioptas
Albert Atserias
Paul Beame
Eli Ben-Sasson
Maria Luisa Bonet
Stephen A. Cook
Stefan Dantchev
Juan Luis Esteban
Uriel Feige
Nicola Galesi
Oded Goldreich
Russell Impagliazzo
Jan Johannsen
Jan Krajicek
Toniann Pitassi
Pavel Pudlák
Ran Raz
Alexandr Razborov
Søren Riis
Jacobo Torán
Alasdair Urquhart
Avi Wigderson