A Community of Verification Professionals

Create an Account	Home | Calendar | Downloads | FAQ | Links | Site Admin | Your Account
Login Nickname Password Security Code: Type Security Code BACKWARD Don't have an account yet? You can create one. As a registered user you have some advantages like theme manager, comments configuration and post comments with your name. Modules · Home · Downloads · FAQ · Feedback · Recommend Us · Web Links · Your Account Advertising Who's Online There are currently, 69 guest(s) and 2 member(s) that are online. You are Anonymous user. You can register for free by clicking here    Verification Guild: Forums  Forum FAQ   Search   Usergroups   Profile  Digest    Log in  Verification workshop at IBM in Haifa, Israel          Verification Guild Forum Index -> Miscellaneous View previous topic :: View next topic   Author Message Newsletter Original Contribution Joined: Dec 08, 2003 Posts: 1107 Posted: Sun Oct 05, 2003 11:00 pm    Post subject: Verification workshop at IBM in Haifa, Israel (Originally from Issue 4.16, Item 2.0) From: Eyal Bin There is a verification seminar that IBM Haifa Israel is organizing. You and your readers of the Guild may have interest in it. The Software and Verification Technologies Department at the IBM Haifa Research Lab (HRL) cordially invites you to a full-day seminar on Verification, to be held on Sunday, the 19th of October 2003. This is the fourth in a sequence of verification seminars held by HRL since 1999. http://www.haifa.il.ibm.com/Workshops/verification2003/index.html The purpose of the seminar is to forge and nourish research and working relations within the academic and industrial community in Israel. The target audience are both researchers from research institutes and the academia, as well as technical executives and professionals from the industry. The seminar will take place at HRL's new site on the Haifa University campus, HRL's auditorium (room L100), from 9:30 to 17:15. Lunch and light refreshments will be provided. Participation is free. The official language of the seminar is English. Please confirm your participation by October 3 via the seminar website: http://www.haifa.il.ibm.com/Workshops/verification2003/registration.html - Eyal Bin, Software and Verification Technologies Department IBM Research Lab in Haifa Back to top Display posts from previous: All Posts1 Day7 Days2 Weeks1 Month3 Months6 Months1 Year Oldest FirstNewest First         Verification Guild Forum Index -> Miscellaneous All times are GMT - 5 Hours Page 1 of 1   Jump to: Select a forum Main----------------MainEDA NewsCommunity Services Networking----------------Looking for a jobLooking for candidates Archives----------------AssertionsCoverageFormalSimulationDesignMiscellaneous Test----------------Test  You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum Forums ©

Verification Guild © 2006 Janick Bergeron
Web site engine's code is Copyright © 2003 by PHP-Nuke. All Rights Reserved. PHP-Nuke is Free Software released under the GNU/GPL license.
Page Generation: 0.305 Seconds