Please log in if you want to be notified when Serdar Tasiran is mentioned on Eventseer.net. Click the tracker button below to activate notifications.
Click the button to be notified on your personal tracker whenever Serdar Tasiran is mentioned in an event.

Serdar Tasiran


Serdar Tasiran has been associated with 10 events and shares similar interests with Shaz Qadeer, Klaus Havelund and Bernd Finkbeiner. Serdar's main research interests are testing, model and static analysis.

Are you Serdar Tasiran? Then click the "Claim!" button to claim ownership of this page. (You will be asked to sign up and log in first.)



If you happen to know who this is, you can send Serdar an invitation:



The owner of this page can edit his or her biography, post whiteboard entries, and get a personalized deadline calendar.

about


RSS feeds

Whiteboard RSS for Serdar Tasiran Whiteboard


tracker for Serdar Tasiran


December 16, 2008

Workshop on parallel and distributed systems: Testing, analysis, and debugging (PADTAD 2009) was added.

December 15, 2008

6th international colloquium on theoretical aspects of computing (ICTAC 2009) was added.

October 2, 2008

21st international conference on computer aided verification (CAV 2009) was added.

September 2, 2008

5th workshop on specification and verification of component-based systems (SAVCBS 2008) was added.

» Show all

Facts


Unable to load Flash content. The YUI Charts Control requires Flash Player 9.0.45 or higher. You can download the latest version of Flash Player from the Adobe Flash Player Download Center.