From jim at well.com Mon Mar 1 22:57:06 2010 From: jim at well.com (jim) Date: Mon, 01 Mar 2010 13:57:06 -0800 Subject: open source business conference march 17 Message-ID: <1267480626.6521.128.camel@jim-laptop> Open Source Business Conference, SF Palace hotel, March 17, 18 2010. the IDG group that has put on the various *world expos will have a table in their expo hall for open source support groups, including LUGS and language and application support groups. http://www.osbc.com/ehome/index.php?eventid=7578& the current concept is to have information about any SF bay area open source focused groups. i'm looking for * volunteers to work at the table * other coordinator types * information about sf bay area open source groups (e.g. python, django, apache, firefox, linux and bsd user groups, and any other groups involved with open source software (and hardware) * existing literature, especially in electronic form wanna play? got info or files? please respond. jim From lgj at usenix.org Fri Mar 12 20:06:51 2010 From: lgj at usenix.org (Lionel Garth Jones) Date: Fri, 12 Mar 2010 11:06:51 -0800 Subject: SSV '10 Call for Papers Now Available Message-ID: <70CE019C-B5A4-406F-8730-E5DF8C0BF72D@usenix.org> On behalf of the 5th International Workshop on Systems Software Verification (SSV '10) program committee, we'd like to invite you to contribute papers that focus on finding real, applicable solutions to systems software verification problems. Paper registration and abstracts are due Friday, May 28, 2010, 11:59 p.m. Samoan time (UTC-11). Industrial-strength software analysis and verification has advanced in recent years through the introduction of model checking, automated and interactive theorem proving, and static analysis techniques, as well as correctness by design, correctness by contract, and model-driven development. However, many techniques are working under restrictive assumptions that are invalidated by complex embedded systems software such as operating system kernels, low-level device drivers, or microcontroller code. The aim of this workshop is to bring together researchers and developers from both academia and industry who are facing real software and real problems with the goal of finding real, applicable solutions. By "real" we mean problems such as time-to-market or reliability that the industry is facing. A real solution is one that is applicable to the problem in industry and not one that only applies to an abstract, academic, toy version of it. In this workshop we will discuss software analysis and development techniques and tools; this forum will serve as a platform to discuss open problems and future challenges in dealing with existing and upcoming systems-level code. Topics include but are not limited to: * Model checking * Automated and interactive theorem proving * Static analysis * Automated testing * Model-driven development * Embedded systems development * Programming languages * Verifying compilers * Software certification * Software tools * Experience reports Paper registration and abstracts are due Friday, May 28, 2010, 11:59 p.m. Samoan time (UTC-11). For more details on the submission process, please see the complete Call for Papers at: http://www.usenix.org/ssv10/cfpa/ SSV '10 will be held immediately following the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10), which will take place October 4-6, 2010. We look forward to receiving your submissions! Ralf Huuck, NICTA and University of New South Wales, Australia Gerwin Klein, NICTA and University of New South Wales, Australia Bastian Schlich, RWTH Aachen University, Germany SSV '10 Program Co-Chairs ssv10chairs at usenix.org P.S. We'd like to thank our sponsors NICTA and Microsoft Research for their support. --------------------------------- Call for Papers 5th International Workshop on Systems Software Verification October 6-7, 2010 Vancouver, BC, Canada http://www.usenix.org/ssv10/cfpa/ Paper registration and abstracts due: Friday, May 28, 2010, 11:59 p.m. Samoan time (UTC-11) From lgj at usenix.org Thu Mar 18 17:26:25 2010 From: lgj at usenix.org (Lionel Garth Jones) Date: Thu, 18 Mar 2010 09:26:25 -0700 Subject: HotCloud '10 Submission Deadline Approaching Message-ID: <79CB5FBC-4F7C-4427-93D1-0AF1CF30013D@usenix.org> We're writing to remind you that submission deadline for the 2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '10) program committee is approaching. Please submit your work by Tuesday, March 23, 2010. http://www.usenix.org/hotcloud10/cfpb Cloud computing has attracted a great deal of attention both from the research community and from industry. The cloud computing paradigm has evolved over the years from a basic IT infrastructure (data centers) to platform as a service (PaaS), and then from software as a service (SaaS) to complete service enablement on a hosted infrastructure (IaaS). At the same time, virtualization has emerged as a key enabler for the cloud computing paradigm. Several challenges arise in the design, implementation, and deployment of virtualized clouds. HotCloud will provide a forum for academics as well as practitioners in the field to share their experience, leverage each other's perspectives, and identifynew/emerging "hot" trends in this area. Topics of interest include but are not limited to the following: * Platform as a service * Software as a service * Infrastructure as a service * Elasticity and availability in a cloud * Multi-tenancy * Storage cloud * Charging models and economics * Power-efficient ("green") computing for clouds * Virtual appliance management and composition * Monitoring, troubleshooting, and failure recovery * Cloud management and configuration * Programming models * Security and privacy in clouds * New applications for clouds * Mobile clouds * Cloud usage scenarios For more details on the submission process, please see the complete Call for Papers at: http://www.usenix.org/hotcloud10/cfpb We look forward to receiving your submissions! Erich Nahum, IBM T.J. Watson Research Center Dongyan Xu, Purdue University HotCloud '10 Program Co-Chairs hotcloud10chairs at usenix.org --------------------------------- Call for Papers 2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '10) June 22, 2010 Boston, MA, USA http://www.usenix.org/hotcloud10/cfpb Submissions Deadline: March 23, 2010 --------------------------------- From jim at well.com Wed Mar 24 01:55:08 2010 From: jim at well.com (jim) Date: Tue, 23 Mar 2010 16:55:08 -0800 Subject: BayPIGgies meeting Thursday, March 25, 2010: Python 3: The Next Generation Message-ID: <1269392108.6541.80.camel@jim-laptop> BayPIGgies meeting Thursday, March 25, 2010: Python 3: The Next Generation Tonight's talk is * Python 3: The Next Generation by Wesley Chun Meetings usually start with a Newbie Nugget, a short discussion of an essential Python feature, especially for those new to Python. Tonight's Newbie Nugget: None: It's all Py 3 tonight! LOCATION Symantec Corporation Symantec Vcafe 350 Ellis Street Mountain View, CA 94043 http://maps.google.com/maps/ms?oe=utf-8&client=firefox-a&ie=UTF8&fb=1&split=1&gl=us&ei=w6i_Sfr6MZmQsQOzlv0v&hl=en&t=h&msa=0&msid=116202735295394761637.00046550c09ff3d96bff1&ll=37.397693,-122.053707&spn=0.002902,0.004828&z=18 BayPIGgies meeting information is available at http://www.baypiggies.net/ ------------------------ Agenda ------------------------ ..... 7:30 PM ........................... General hubbub, inventory end-of-meeting announcements, any first-minute announcements. ..... 7:35 PM to 7:45 PM ................ Newbie Nugget: Wesley will start his Py 3 talk. ..... 7:45 PM to 8:40 PM (or so) ................ * Python 3: The Next Generation Python is currently at a crossroads: Python 2 has taken it from a quiet word-of-mouth language to prime time, with many companies around the world using it and an ever-increasing global marketshare of the programming world. But now comes Python 3, the first version of the language that is not backwards compatible with previous releases. What does this mean? Are all my Python programs going to break? Will I have to rewrite everything? How much time do I have? When is Python 2 going to be EOL'd? Is Python 3 a complete rewrite, and will I even recognize it? What are the changes between Python 2 and 3 anyway? Are migration plans or transition tools available? To start learning Python, should I do Python 2 or Python 3? Are all Python 2 books obsolete? We will answer all of these questions and more. Join us! For those who want to read ahead, check out this online article: "Python 3: The Evolution of a Programming Language" which can be found at: http://www.informit.com/articles/article.aspx?p=1328795 We recently delivered this talk at an ACCU USA chapter meeting, the 2009 Silicon Valley CodeCamp, and most recently, at PyCon 2010 in Atlanta. i will be using the same slidedeck that you can access here: http://us.pycon.org/2010/conference/schedule/event/29/ WESLEY J. CHUN, MSCS, is the author of Prentice Hall's bestseller, "Core Python Programming" (http://corepython.com), its video training course, "Python Fundamentals" (LiveLessons DVD), and co-author of "Python Web Development with Django" (http://withdjango.com). In addition to being a Developer Advocate at Google and a volunteer coordinator for BayPIGgies, he runs CyberWeb http://cyberwebconsulting.com a consulting business specializing in Python software engineering and technical training. He has over 25 years of programming, teaching, and writing experience, including more than a decade of Python. While at Yahoo!, he helped create Yahoo! Mail and Yahoo! People Search using Python. He holds degrees in Computer Science, Mathematics, and Music from the University of California. ..... 8:50 PM to 9:30 PM ................ Mapping and Random Access Mapping is a rapid-fire audience announcement of issues, hiring, events, and other topics. Random Access follows people immediately to allow follow up on the announcements and other interests.