Main Page

From TCS Group Internal Wiki

(Difference between revisions)
Jump to: navigation, search
(→Admin)
(→Duties)
 
(47 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 ==
-
Version of doktorsprogram datalogi/PhD program CS submitted to Utbildningsutskottet UU in December:
 
-
* [https://www.nada.kth.se/~mfd/CS_PhD_program/Programbeskrivning.docx Computer Science PhD program at KTH, 2010-12-15, Swedish]
+
* 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  
-
* [http://www.nada.kth.se/~mfd/CS_PhD_program/Bilaga1datalogi.pdf Appendix 1, Plan of studies, CS, 2010-12-15, Swedish]
+
Questions should be addressed to [mailto:mfd@kth.se Mads Dam].
-
* [https://www.nada.kth.se/~mfd/CS_PhD_program/Bilaga2TMH.pdf Appendix 2, Plan of studies, Speech, Music, Hearing, 2010-12-15, Swedish]
+
== Mailing Lists ==
-
* [https://www.nada.kth.se/~mfd/CS_PhD_program/Bilaga3handledare.doc Appendix 3, List of supervisors, 2010-12-15, Swedish]
+
You can find information about department and school level mailing lists in [[Mailing lists]].
-
* [https://www.nada.kth.se/~mfd/CS_PhD_program/Bilaga4kurser.xlsx Appendix 4, Course List, 2010-12-15, Swedish/English]
+
== Seminars ==
 +
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]
-
Presentation av TCS forskning för skolledningen, 23/11 13:00-16:00 i 1537
+
== Projects ==
-
HÅLLTIDER
+
* [[The Next Generation Platform Security]]
-
*13:00-13:15 Stefan Arnborg: TCS history, goals and visions. Unity of teaching and research.
+
== Studying ==
-
* [https://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
+
* [[Course lists]]
-
* 14:20-14:35 Mads Dam: Security and semantics
+
* [[Ladok | How to get ECTS points registered in Ladok]]
-
* 14:35-14:45 Sonja Buchegger: Computer networks security and privacy
+
== Teaching ==
-
* [https://www.nada.kth.se/~stefan/SB101123.pdf slides]
+
-
* 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
+
-
* [https://www.nada.kth.se/~stefan/JN101123.pdf slides]
+
-
* 15:05-15:15 Douglas Wikström: Cryptographic protocols
+
-
* [https://www.nada.kth.se/~stefan/DW101123.pdf slides]
+
-
* 15:15-15:25 Johan Boye: Speech Technology
+
-
* [https://www.nada.kth.se/~stefan/JB101123.pdf slides]
+
 +
* [[Kattis]]
 +
* [https://lokal2.timeedit.se/kth/ Lokalbokning]
 +
* [[Reporting Work Hours]]
 +
* [[Reporting Student Results]]
 +
== Traveling ==
 +
* [[Traveling | Traveling information]]
-
* New Organisation development at KTH:
+
== Equipment ==
 +
* [[Computers]]
 +
* [http://www.csc.kth.se/bokning/day.php Booking equipment or rooms for lectures] (book in advance)
 +
* [[Poster Printing]]
-
* [https://www.nada.kth.se/~stefan/Rapport_Faugert_Technopolis.pdf Proposal]
+
== CS Doctoral Program Stuff ==
 +
* [[CS Doctoral Program]]
-
* NEWS: PhD student statements due on Nov 15, 2010
+
* [[Procedures for obtaining the Licentiate and Doctoral degrees]]
-
* [https://www.nada.kth.se/~stefan/kth/templvk.txt Template, Swedish]
+
== Information for newcomers ==
-
* [https://www.nada.kth.se/~stefan/kth/templlvk.txt Template, English]
+
Read separate [[newcomers| article for newcomers]].
 +
== Visitors ==
-
[https://www.nada.kth.se/~stefan/kth/arb100915.txt Minutes, TCS meeting Sept 13 2010]
+
Information for [[visitors]].
 +
== Office plan ==
-
Jenny Svensson is physiotherapist and will make a round in the TCS area on
+
[http://www.nada.kth.se/~vahid/tl.php Office plan]
-
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
+
== Research Grants ==
-
* [https://www.nada.kth.se/~stefan/HALUinfoCSC_EN-GB100826.pdf FEELGOOD ]
+
 +
Several foundations provide grants, for different audiences and purpouses. Read the [[Research Grants]] articles for an overview.
-
New version of Doktorsprogram i Datalogi
+
== Duties ==
-
The TMH researchers decided to join the CS program instead of the HCI/Media program
+
* [[Seminar Organization]]
-
version 9:
+
* [[Mailing List Organization]]
-
* [https://www.nada.kth.se/~stefan/Drprogram_datalogi_v9.doc Computer Science PhD program at KTH,v9 2010-09-03, Swedish]
+
== Not much work related ==
-
* [https://www.nada.kth.se/~stefan/Drprgdatalogi_bilagaA_v9.doc Supplement A: Advisors and PhD students, 2010-09-02]
+
[[TCS-fika]] IRC Channel, join the chat for TCS staff.
-
 
+
-
* [https://www.nada.kth.se/~stefan/Datalogiforskarkurser_v7.xlsx Supplement B: Course List, v7 2010-05-28, Swedish/English]
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/Kurser_TMH.doc Supplement B: Course list, TMH, 2010-09-03]
+
-
 
+
-
Health investigation at CSC
+
-
 
+
-
*[ https://www.nada.kth.se/~stefan/health.txt Health investigation, info in D31, Aug 30 at 15:00]
+
-
 
+
-
TCS GENERAL MEETING:
+
-
 
+
-
September 13 at 10:00 to 11+, room 1537
+
-
 
+
-
Topics:
+
-
 
+
-
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

Retrieved from "https://tcs-wiki.csc.kth.se/mediawiki/index.php/Main_Page"