Main Page

From TCS Group Internal Wiki

(Difference between revisions)
Jump to: navigation, search
(Admin)
(Duties)
 
(54 intermediate revisions not shown)
Line 1: Line 1:
This is the wiki of the [https://www.csc.kth.se/tcs/ Theoretical Computer Science Group] at [https://www.kth.se/csc CSC], [https://www.kth.se/ KTH].
This is the wiki of the [https://www.csc.kth.se/tcs/ Theoretical Computer Science Group] at [https://www.kth.se/csc CSC], [https://www.kth.se/ KTH].
-
Please [[Special:UserLogin|create an account]] if you have not already done so.
+
You need an account to edit wiki pages. See the [http://tcs-wiki.csc.kth.se/mediawiki/index.php?title=Special%3AListUsers&group=sysop list of administrators] to find out who can create an account for you.
Consult the [https://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
Consult the [https://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
== Admin ==
== Admin ==
-
*Presentation av TCS forskning för skolledningen, 23/11 13:00-16:00 i 1537
 
-
HÅLLTIDER
+
* You can find information and files about administration decisions and meetings in [[Admin Pages]].
 +
* TCS support routines as of autumn 2013
 +
** Friné Portal is the financial assistant. She's on level 4.
 +
** Harriett Johansson helps with EU matters
 +
** For other matters (or those above) mail service@csc.kth.se
-
*13:00-13:15 Stefan Arnborg: TCS history, goals and visions. Unity of teaching and research.
+
Questions should be addressed to [mailto:mfd@kth.se Mads Dam].
-
* [http://www.nada.kth.se/~stefan/SA101123.pdf slides]
+
-
*13:15-13:35 Johan Håstad: ERC projekt and CIAM.
+
-
* [https://www.nada.kth.se/~stefan/JH101123.pdf slides]
+
-
* 13:35-13:50 Viggo Kann: Språkteknologi och didaktik, undervisning.
+
-
* 13:50-14:05 Karl Meinke: Software testing and fault prediction
+
-
* 14:05-14:20 KAFFEPAUS med diskussion
+
== Mailing Lists ==
-
14:20-14:35 Mads Dam: Security and semantics
+
You can find information about department and school level mailing lists in [[Mailing lists]].
-
14:35-14:45 Sonja Buchegger: Computer networks security and privacy
+
== Seminars ==
-
14:45-14:55 Dilian Gurov: Program correctness
+
-
* [https://www.nada.kth.se/~stefan/DG101123.pdf slides]
+
-
14:55-15:05 Jakob Nordström: Complexity
+
-
* 14:55-15:05 Jakob Nordström: Complexity
+
-
15:05-15:15 Douglas Wikström: Cryptographic protocols
+
-
14:15-14:25 Johan Boye: Speech Technology
+
 +
There are currently four [https://www.csc.kth.se/tcs/seminarsevents/ seminar series] organized by the TCS group:
 +
* [https://www.csc.kth.se/tcs/seminars/ TCS Seminar Series]
 +
* [https://www.csc.kth.se/tcs/phdseminars/ Informal PhD Student Seminars in Theoretical Computer Science]
 +
* [https://www.csc.kth.se/~jakobn/theoryreadinggroup/ Theory reading group]
 +
* [https://www.csc.kth.se/~jakobn/complexitymeetings/ Complexity meetings]
 +
Other lists of seminar series which may be of interest include:
 +
* [https://www.math.kth.se/braket/aktuellt_nr.pdf Bråket], the math department's newsletter
 +
* [https://www.kth.se/ees/omskolan/organisation/centra/access/calendar/seminars/?l=en_UK ACCESS Seminars]
 +
* [https://www.mittag-leffler.se/programs/current/0809s/seminars.php Institut Mittag-Leffler]
 +
== Projects ==
-
* New Organisation development at KTH:
+
* [[The Next Generation Platform Security]]
-
* [https://www.nada.kth.se/~stefan/Rapport_Faugert_Technopolis.pdf Proposal]
+
== Studying ==
 +
* [[Course lists]]
-
* NEWS: PhD student statements due on Nov 15, 2010
+
* [[Ladok | How to get ECTS points registered in Ladok]]
-
* [https://www.nada.kth.se/~stefan/kth/templvk.txt Template, Swedish]
+
== Teaching ==
-
* [https://www.nada.kth.se/~stefan/kth/templlvk.txt Template, English]
+
* [[Kattis]]
 +
* [https://lokal2.timeedit.se/kth/ Lokalbokning]
 +
* [[Reporting Work Hours]]
 +
* [[Reporting Student Results]]
 +
== Traveling ==
 +
* [[Traveling | Traveling information]]
-
[https://www.nada.kth.se/~stefan/kth/arb100915.txt Minutes, TCS meeting Sept 13 2010]
+
== Equipment ==
 +
* [[Computers]]
 +
* [https://www.csc.kth.se/bokning/day.php Booking equipment or rooms for lectures] (book in advance)
 +
* [[Poster Printing]]
 +
== CS Doctoral Program Stuff ==
-
Jenny Svensson is physiotherapist and will make a round in the TCS area on
+
* [[CS Doctoral Program]]
-
Wednesday 15/9 from 9:30. Everyone with even the slightest problems (chair, keyboard,
+
-
mouse, working positioning)should consult her!
+
-
Everyone is offered a life-style analysis and advicing session with
+
* [[Procedures for obtaining the Licentiate and Doctoral degrees]]
-
* [https://www.nada.kth.se/~stefan/HALUinfoCSC_EN-GB100826.pdf FEELGOOD ]
+
 +
== Information for newcomers ==
-
New version of Doktorsprogram i Datalogi
+
Read separate [[newcomers| article for newcomers]].
-
The TMH researchers decided to join the CS program instead of the HCI/Media program
+
-
version 9:
+
-
* [https://www.nada.kth.se/~stefan/Drprogram_datalogi_v9.doc Computer Science PhD program at KTH,v9 2010-09-03, Swedish]
+
== Visitors ==
-
* [https://www.nada.kth.se/~stefan/Drprgdatalogi_bilagaA_v9.doc Supplement A: Advisors and PhD students, 2010-09-02]
+
Information for [[visitors]].
-
* [https://www.nada.kth.se/~stefan/Datalogiforskarkurser_v7.xlsx Supplement B: Course List, v7 2010-05-28, Swedish/English]
+
== Office plan ==
-
* [https://www.nada.kth.se/~stefan/Kurser_TMH.doc Supplement B: Course list, TMH, 2010-09-03]
+
[https://www.nada.kth.se/~vahid/tl.php Office plan]
-
Health investigation at CSC
+
== Research Grants ==
-
*[ https://www.nada.kth.se/~stefan/health.txt Health investigation, info in D31, Aug 30 at 15:00]
+
Several foundations provide grants, for different audiences and purpouses. Read the [[Research Grants]] articles for an overview.
-
TCS GENERAL MEETING:
+
== Duties ==
 +
* [[Seminar Organization]]
 +
* [[Mailing List Organization]]
-
September 13 at 10:00 to 11+, room 1537
+
== Not much work related ==
-
Topics:
+
[[TCS-fika]] IRC Channel, join the chat for TCS staff.
-
 
+
-
TCS members: new and old
+
-
 
+
-
New management jan 2011
+
-
 
+
-
PhD programs in progress
+
-
 
+
-
Workplace safety
+
-
 
+
-
'Medarbetarundersökning'
+
-
 
+
-
Office space shortage
+
-
 
+
-
Organized Computer Support
+
-
 
+
-
Future computing environment
+
-
 
+
-
Cake
+
-
 
+
-
The safety inspection round was done on May 31, 2010.
+
-
Formal protocol will be sent out.
+
-
A number of new rules were emphasized (you have got them through formal channels,
+
-
but probably in Swedish:
+
-
 
+
-
* closets must be fixed into the wall
+
-
 
+
-
* there will be a round made by the KTH ergonomist for advice on sitting, etc.
+
-
* you should not store stuff on the floor, so it cannot be swept.
+
-
* Waste paper baskets you must empty and sort into the bins in the pentry. If you do not do this regularly, you should not put perishable stuff into them (food etc)
+
-
 
+
-
 
+
-
The 'medarbetarundersökning' is now out.
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/kth/CSC.pdf CSC results (in Swedish, of course!)]
+
-
* [https://www.nada.kth.se/~stefan/kth/TCS.pdf TCS results (in Swedish, of course!)]
+
-
* [https://www.nada.kth.se/~stefan/kth/TCS.txt my comments]
+
-
 
+
-
Doktorsprogram:
+
-
After a new meeting with CS professors, it was agreed that there will be 3 specializations, one for each CS department: CB, CVAP and TCS. A new proposal was edited by Anders Lansner and then by Viggo Kann.
+
-
The course lists were updated for CS and vision/robotics, 10-05-04:
+
-
 
+
-
version 6:
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/Drprogram_datalogi_v6.pdf Computer Science PhD program at KTH,v6 2010-05-15, Swedish]
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/Datalogiforskarkurser_v6.pdf Course List, Computer Science PhD program at KTH,v6 2010-05-15, Swedish/English]
+
-
 
+
-
version 5b:
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/drprogram_datalogi_v5cc.pdf Computer Science PhD program at KTH,v5b 2010-05-07, Swedish]
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/Datalogiforskarkurser_v2a.xlsx Course List, Computer Science PhD program at KTH,v2a 2010-05-06, Swedish/English]
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/Drprogram_datalogiv4.pdf Computer Science PhD program at KTH, v4 2010-03-06, Swedish]
+
-
 
+
-
 
+
-
[https://www.nada.kth.se/~stefan/MarieCurieFlyerforMasterStudents.pdf Marie-Curie foer alla]
+
-
 
+
-
NEW: Arbetsplatsmoete (general TCS meeting) Feb 15 at 13:15 ; in room 4532, D-building floor 5.
+
-
[https://www.nada.kth.se/~stefan/kth/arb100215.txt Minutes]
+
-
 
+
-
[https://www.nada.kth.se/~stefan/nada/ICT.pdf the KTH ICT-utredning is now ready]
+
-
 
+
-
[https://www.nada.kth.se/~stefan/nada/comm.txt SA:s Comments on ICT]
+
-
 
+
-
NEW: Individual study plans for doctoral students in TCS to be updated and submitted to Birgit by Jan 15
+
-
 
+
-
NEW: Programs for all PhD studies at KTH should be decided in 2010
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/drprgKTH.html Some papers from Heaven, Swedish]
+
-
 
+
-
Current version 10/12 influenced by comments from Johan H, Erik A, Lars A and Viggo
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/Drprogram_datalogi.doc Sketch of Computer Science PhD program at KTH, Swedish]
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/CS_studieplan_eng_09b.pdf Computer Science Study Plan, English translation]
+
-
 
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/kth/minuters090818.txt TCS meeting Aug 18 2009]
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/tc.pdf TCS Development plan]
+
-
 
+
-
* [https://www.kth.se/csc/utbildning/forskarniva/1.20364 Computer Science Study Plan (in Swedish)]
+
-
 
+
-
== Seminars ==
+
-
 
+
-
There are currently four seminar series organized by the TCS group:
+
-
* [https://www.csc.kth.se/tcs/seminars/ TCS Seminar Series]
+
-
* [https://www.csc.kth.se/tcs/phdseminars/ Informal PhD Student Seminars in Theoretical Computer Science]
+
-
* [https://www.csc.kth.se/tcs/cryptoseminars/ Reading group in cryptography]
+
-
* [https://www.csc.kth.se/tcs/logicseminars/ Logic and semantics group meetings]
+
-
 
+
-
Other lists of seminar series which may be of interest include:
+
-
* [https://www.math.kth.se/braket/aktuellt_nr.pdf Bråket], the math department's newsletter
+
-
* [https://www.kth.se/ees/omskolan/organisation/centra/access/calendar/seminars/?l=en_UK ACCESS Seminars]
+
-
* [https://www.mittag-leffler.se/programs/current/0809s/seminars.php Institut Mittag-Leffler]
+
-
 
+
-
== Projects ==
+
-
 
+
-
* [[The Next Generation Platform Security]]
+
-
 
+
-
== Studying ==
+
-
 
+
-
* [[Course lists]]
+
-
 
+
-
== Teaching ==
+
-
 
+
-
* [[Kattis]]
+
-
 
+
-
== Equipment ==
+
-
* [[Computers]]
+
-
* [https://www.csc.kth.se/bokning/day.php Booking equipment or rooms for lectures] (book in advance)
+
== Getting started with the wiki ==
== Getting started with the wiki ==

Latest revision as of 09:07, 15 May 2018

This is the wiki of the Theoretical Computer Science Group at CSC, KTH.

You need an account to edit wiki pages. See the list of administrators to find out who can create an account for you.

Consult the User's Guide for information on using the wiki software.

Contents

Admin

  • You can find information and files about administration decisions and meetings in Admin Pages.
  • TCS support routines as of autumn 2013
    • Friné Portal is the financial assistant. She's on level 4.
    • Harriett Johansson helps with EU matters
    • For other matters (or those above) mail service@csc.kth.se

Questions should be addressed to Mads Dam.

Mailing Lists

You can find information about department and school level mailing lists in Mailing lists.

Seminars

There are currently four seminar series organized by the TCS group:

Other lists of seminar series which may be of interest include:

Projects

Studying

Teaching

Traveling

Equipment

CS Doctoral Program Stuff

Information for newcomers

Read separate article for newcomers.

Visitors

Information for visitors.

Office plan

Office plan

Research Grants

Several foundations provide grants, for different audiences and purpouses. Read the Research Grants articles for an overview.

Duties

Not much work related

TCS-fika IRC Channel, join the chat for TCS staff.

Getting started with the wiki