SEMINARS

CE Club – Victor Luchangco, Wednesday, 23/10/13

  • October 21, 2013 at 11:31 am

  ↵ Victor Luchangco Oracle Labs   Wednesday, 23/10/13, 11:30  CS, Taub 337   Transactional Memory Specification: Theory and Practice   Abstract Transactional memory is a promising mechanism for synchronizing concurrent programs. There has been a lot of research in the past decade in implementing transactional memory. However, relatively little attention has been paid to precisely specifying […]

Continue reading 

 

TCE Guest Talk – Prof. Gernot Heiser, University of New South Wales – Wednesday 13/11/2013

  • October 17, 2013 at 1:08 pm

TCE Guest Talk Prof. Gernot Heiser University of New South Wales   Wednesday, November 13, 2013 11:30, Room 401, CS Taub Building Host: Prof. Dan Tsafrir   Can Truly Dependable Systems be Affordable?   Abstract With the formal verification of the seL4 microkernel, and subsequent work on assuring its safety and security properties, NICTA has […]

Continue reading 

 

Women@CS Event – 20/10/13

  • October 17, 2013 at 10:31 am

אנו מזמינים אתכם להצטרף אלינו לאירוע הפתיחה של Women@CS – מיזם לקידום נשים במדעי המחשב בטכניון. המיזם התחיל בקבוצת פייסבוק, שבה חברות כמעט כל הסטודנטיות, המתרגלות והמרצות של הפקולטה:      ביום ראשון הקרוב, ה-20/10, בשעה 16:30 יתקיים בפקולטה למדעי המחשב בטכניון (טאוב 2) אירוע חגיגי לכבוד המיזם, בהשתתפות פרופ' מרים ארז, יו"ר המועצה לקידום […]

Continue reading 

 

TCE Guest Talk – Prof. Valerie King, University of Victoria – Wednesday 23/10/13

  • October 10, 2013 at 1:44 pm

TCE Guest Talk   Prof. Valerie King University of Victoria   Wednesday 23/10/13 at 12:30 Room 337, CS Taub Building Host: Prof. Keren Censor-Hillel   Byzantine Agreement in Expected Polynomial Time   Abstract Byzantine agreement is a fundamental problem of distributed computing which involves coordination of processors when a constant fraction are controlled by a […]

Continue reading 

 

HVC 2013 – Call for Participation – November 5-7, 2013

  • October 7, 2013 at 12:04 pm

** CALL FOR PARTICIPATION ** HVC 2013 ======== Ninth Haifa Verification Conference 2013 November 5-7, 2013 Tutorial day – November 4, 2013 Haifa, Israel http://www.research.ibm.com/haifa/conferences/hvc2013/index.shtml Organized by IBM Research – Haifa   ********************************************************* Program: http://www.research.ibm.com/haifa/conferences/hvc2013/day1.shtml Tutorials (4/11/2013): http://www.research.ibm.com/haifa/conferences/hvc2013/tutorials.shtml Free registration: http://www.research.ibm.com/haifa/conferences/hvc2013/registration.shtml We cordially invite you to participate in the ninth annual Haifa Verification Conference (HVC) […]

Continue reading 

 

Electronic-Commerce Day 2013 – 15/10/2013

  • October 7, 2013 at 11:58 am

We are pleased to invite you to participate in Electronic-Commerce Day 2013, a one day workshop covering many aspects of electronic-commerce, organized by the Technion-Microsoft Electronic-Commerce Research Center.   EC Day will be held on October 15th, 2013, at the Technion, and will include 3 invited talks, as well as technical talks by members of […]

Continue reading 

 

Information Privacy Seminar at IBM – 28/10/2013

  • October 7, 2013 at 10:22 am

The Information Privacy and Security group at IBM Research – Haifa cordially invites you to a full-day seminar on information privacy, to be held on Monday, the 28th of October, 2013 at the IBM Research – Haifa site, located on the University of Haifa campus, Haifa, Israel. Lunch and light refreshments will be served. This […]

Continue reading 

 

TCE Talk Dr. Ganesan Ramalingam, Microsoft Research India – Tuesday 22/10/13

  • October 2, 2013 at 1:56 pm

TCE Guest Talk   Dr. Ganesan Ramalingam Microsoft Research India   Tuesday, 22/10/13 at 11:30 Room 401, CS Taub   Host: Prof. Eran Yahav   Fault-Tolerance via Idempotence   Abstract Writing applications for distributed systems is challenging because of the pitfalls of distribution such as process failures and communication failures. One common requirement and challenge […]

Continue reading 

 

TCE Guest Talk – Marc Donner, Engineering Director, Google – Tuesday, 1/10/13

  • September 17, 2013 at 11:05 am

TCE Guest Talk Marc Donner Engineering Director, Google   Tuesday, 1/10/13 at 11:00 room 337, CS Taub Host: Prof. Danny Raz   Privacy and the SDLC   Abstract Strict implementation of data protection to support privacy protections for highly sensitive personal data can lead to difficult challenges for the development teams when faced with diagnostic, […]

Continue reading 

 

TCE Guest Talk – Prof. Ari Trachtenberg, Boston University – 30/10/13

  • September 17, 2013 at 11:04 am

TCE Guest Talk Prof. Ari Trachtenberg Boston University   Wednesday, 30/10/13 at 11:30 room 701, CS Taub Host: Prof. Yuval Cassuto   (In-)Security of Smartphones   Abstract This talk will cover some of the prominent attack surfaces at all abstraction layers of modern smartphones, including those based on bypassing application signatures, USB takeover, GPS updates, […]

Continue reading