| PumaScope 2013: How you can help the community? |
11 Apr 2013, 21:10 |
| Step-Up Technology Innovation Competition |
11 Apr 2013, 09:33 |
| 25 April: Fund raising concert: "We are the Champions" |
11 Apr 2013, 09:22 |
| The Standard Bank IT challenge is here! |
9 Apr 2013, 16:57 |
| Joint Digital Forensics Initiative provides Opportunities to Students and Research Staff |
28 Mar 2013, 23:33 |
| SSFM co-organizes Formal Methods and Software Engineering Workshop |
8 Mar 2013, 19:04 |
| Seminar: Freedom of Expression and the Human Brain |
21 Feb 2013, 13:24 |
| Seminar on "Evolutionary approaches to solving dynamic optimization" |
19 Feb 2013, 12:41 |
| MSc defense: An integrated digital forensic process model framework |
15 Feb 2013, 10:04 |
| CSIR Master and Doctoral Studentships |
14 Feb 2013, 17:15 |
| Seminar, 7 Feb, 15h00, IT 4-64: Towards Smart Pervasive Environments |
21 Jan 2013, 17:26 |
| 7 Feb, 14h00, IT 4-64: Seminar on Design of User-Centric Interfaces |
21 Jan 2013, 15:55 |
| 7 Feb: Design of User-Centric Interfaces |
21 Jan 2013, 15:45 |
| Honours Seminar Day |
17 Jan 2013, 11:42 |
| Apply for Honours 2013 |
13 Dec 2012, 10:51 |
| VIOPE Game Programming Contest |
11 Dec 2012, 18:07 |
| 2012 class photo available |
6 Dec 2012, 00:49 |
| We require assistant lecturers for 2013 |
27 Oct 2012, 06:57 |
| Paul Black presents seminars on Quantum Computing and Testing |
23 Oct 2012, 11:36 |
| COS-301 Project Day |
22 Oct 2012, 02:12 |
| Derrick Kourie receives SAICSIT award for Pioneering Role in Promoting Computer Science |
8 Oct 2012, 17:31 |
| Oluwasola Fasan selected as L'Oreal-UNESCO women in science regional fellow |
23 Jul 2012, 17:37 |
| Profs Kourie & Watson publish book on Provably Correct Software |
19 Jun 2012, 15:36 |
| Tuks Team Secures 2nd Place in Standard Bank IT Challenge Finals |
24 May 2012, 11:33 |
| PumaScope 2012: How you can help the community |
17 May 2012, 12:01 |
| Ms Fasan receives Google Scholarship |
9 May 2012, 11:15 |
| UP CS student in final six of m2work challenge |
26 Apr 2012, 16:29 |
| Seminar on nature inspired techniques for avoiding congestion in wireless sensor networks |
23 Mar 2012, 16:22 |
| Stefan Gruner co-organises the FormSERA Workshop 2012 with International Top Experts |
23 Mar 2012, 15:58 |
| SSFM Research Group will organise First South African Workshop on Software Architecture 2012 |
23 Mar 2012, 15:24 |
| 2011 Computer Science group photo |
5 Mar 2012, 06:42 |
| First South African Workshop on Software Architecture |
28 Feb 2012, 10:46 |
| Hacking for Humanity |
28 Nov 2011, 16:41 |
| Prof Hein Venter receives award |
23 Nov 2011, 14:07 |
| COS301 Project Day Photos. |
26 Oct 2011, 11:22 |
| Prof Graham Kendall visits Department |
25 Oct 2011, 10:55 |
| Runners-up in SABS Essay Competition |
21 Oct 2011, 07:57 |
| Apply for a position as a Teaching Assistant |
10 Oct 2011, 14:31 |
| ZaCon III |
16 Sep 2011, 06:53 |
| Project PumaScope expands |
2 Sep 2011, 13:11 |
| PumaScope has a new sponsor |
2 Sep 2011, 13:06 |
| GUEST LECTURE BY ANTONIO CERONE ON FORMAL METHODS FOR HCI |
22 Aug 2011, 11:31 |
| Computer Science Research Workshop |
30 May 2011, 11:18 |
| Invitation to presentation by Dr Fred Cohen |
8 Apr 2011, 13:57 |
| Hons.-Students win 2nd Prize at German InformatiCup |
7 Apr 2011, 08:28 |
| Students succeed in InformatiCup international CS competition |
22 Feb 2011, 10:22 |
| Bobby Anguelov receives 'Eric Dybsand Memorial AI Scholarship' |
16 Feb 2011, 20:58 |
| Deleting of all home folders |
14 Feb 2011, 15:36 |
| Open lectures: Adam Iwaniak and Tomasz Kubik, 17 Feb |
7 Feb 2011, 21:30 |
| Computer Science Alumni |
4 Feb 2011, 18:00 |
| Third International Workshop on Formal and Agile Methods |
25 Nov 2010, 08:56 |
| Prof Bruce Watson's second PhD thesis |
8 Nov 2010, 09:26 |
| Annual Project Day |
4 Nov 2010, 11:47 |
| Invitation to Project Day 2010 |
21 Oct 2010, 09:25 |
| Holger Schlingloff visit, 1-3 November |
13 Oct 2010, 22:49 |
| Roelf van den Heever receives prestigious award |
12 Oct 2010, 12:36 |
| Konrad Zuse and Lothar Collatz commemorated |
12 Oct 2010, 09:53 |
| Manfred Nagl visit, 27 and 28 October |
6 Oct 2010, 10:08 |
| IEEE Student Branch at UP |
20 Sep 2010, 16:02 |
| Congratulations to Dr Patricia Lutu! |
14 Sep 2010, 11:11 |
| SIT Sport Day, 29 October 2010 |
9 Sep 2010, 11:40 |
| First workshop of the South African/Poland research cooperation in Wroclaw, Poland |
2 Sep 2010, 18:33 |
| Bernardt Duvenhage gets award at Afrigraph 2010 |
28 Jul 2010, 08:21 |
| Public lecture by Fritz Solms at the JCSE |
27 Jul 2010, 10:53 |
| Photos of the SIT Prize Giving Ceremony |
21 Jun 2010, 14:53 |
| 2011 Bursary and student support opportunities |
9 Jun 2010, 15:11 |
| Computer Science students honoured at the SIT Prize Giving Ceremony |
1 Jun 2010, 14:00 |
| Computer Science Research Workshop |
21 May 2010, 09:50 |
| Research reinforcement from Germany |
21 May 2010, 09:24 |
| June 2010 Exam Timetable |
7 May 2010, 09:38 |
| Guest lecture by Prof Kurt Geihs |
5 May 2010, 16:15 |
| Prof Engelbrecht receives 2010 UP Exceptional Achiever Award |
4 May 2010, 09:43 |
| Postgraduate student impresses at joint SIGiST-JCSE Seminar |
28 Apr 2010, 10:52 |
| GIS as a forensic tool by Peter Schmitz |
12 Apr 2010, 13:22 |
| CIL 121 Winter School |
6 Apr 2010, 16:45 |
| 2nd date for collection of the 2009 class photo postponed |
5 Apr 2010, 13:17 |
| UPDATED: 2009 Third year class photo - Collection |
16 Mar 2010, 12:26 |
| 'Tuks 4' Team in finals of Standard Bank IT Challenge |
15 Mar 2010, 10:46 |
| Establishment of a Centre of Excellence in Uganda |
11 Mar 2010, 11:49 |
| Jaco Swanepoel excels in DC3 Digital Forensics Competition |
5 Mar 2010, 11:57 |
| 2009 Third year class photo |
2 Mar 2010, 11:39 |
| Guest lecture by Eric Allender - Tue, 23 Feb in IT-4-58 |
3 Feb 2010, 13:18 |
| Workshop on Formal Methods and Agile Methods |
3 Feb 2010, 12:51 |
| Last day of cancellation of modules |
29 Jan 2010, 10:36 |
| Industrial collaboration on model-driven software engineering (MDE) |
28 Jan 2010, 08:57 |
| Welcome to the department in 2010! |
28 Jan 2010, 08:43 |
| 2010 Registration |
21 Jan 2010, 11:23 |
| School of IT T-Shirts |
18 Jan 2010, 21:41 |
| New Research Sub-Group for Software Science and Formal Methods |
11 Nov 2009, 13:46 |
| SESENA 2010 – Workshop on Software Engineering for Sensor Network Applications |
11 Nov 2009, 13:34 |
| South African address standard launched |
29 Oct 2009, 13:52 |
| DC3 Digital Forensics Competition |
16 Oct 2009, 16:41 |
| 4th place for first years in 2009 Regional ACM ICPC |
14 Oct 2009, 08:48 |
| COS 301 project day on Thursday, 22 October |
11 Oct 2009, 15:02 |
| Third year project day |
9 Oct 2009, 13:13 |
| DC3 Digital Forensics Challenge |
7 Oct 2009, 21:30 |
| Extension on deadline for discontinuation of modules |
7 Oct 2009, 20:44 |
| Dr Serena Coetzee takes over Polelo leadership |
5 Oct 2009, 23:08 |
| Visit to City of Tshwane’s Traffic Signals Control Centre |
6 Sep 2009, 17:23 |
| How to review a research paper |
1 Sep 2009, 11:35 |
| African News Monitor |
3 Aug 2009, 15:17 |
| Imagine Cup SA - Registrations now open |
3 Aug 2009, 07:25 |
| Gurdeep Hura visits the department |
23 Jul 2009, 15:16 |
| Good bye Prof Judith Bishop! |
26 Jun 2009, 12:08 |
| International Workshop on Finite-State Methods and Natural Language Processing |
26 Jun 2009, 11:21 |
| International Workshop on Formal Methods and Agile Methods |
2 Jun 2009, 10:40 |
| Prof Kourie honoured for 20 years as SACJ editor |
13 May 2009, 15:04 |
| Winning team at the Standard Bank IT Challenge |
12 May 2009, 11:36 |
| Project PumaScope 2009: Do you want to be part of it? |
11 May 2009, 21:56 |
| Exam Timetable |
4 May 2009, 10:41 |
| 2009 Autumn Graduation |
29 Apr 2009, 15:11 |
| International visitor at CIRG |
20 Apr 2009, 22:04 |
| Double collaboration with Germany |
15 Apr 2009, 11:08 |
| International visitors at FASTAR/Espresso |
14 Apr 2009, 13:04 |
| SIT Sport Day |
18 Mar 2009, 08:03 |
| UP Exceptional Achievers 2009-2011 |
17 Mar 2009, 08:03 |
| Standard Bank IT Challenge: Congratulations to the CS Team! |
16 Mar 2009, 11:03 |
| IEEE SEFM 2008 |
11 Mar 2009, 20:03 |
| Standard Bank IT Challenge |
5 Mar 2009, 15:03 |
| Another book by one of our students |
3 Mar 2009, 15:03 |
| Computer Science student publishes book |
19 Feb 2009, 15:02 |
| CIRG did it again! |
15 Feb 2009, 10:02 |
| ICSE 2010 Warm Up Workshop |
9 Feb 2009, 11:02 |
| Registration deadlines |
2 Feb 2009, 13:02 |
| Welcome |
26 Jan 2009, 10:01 |