[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR ABSTRACTS PLVNET 2015 -------------------------------------------------------------------------------- 1st Workshop on Programming Languages and Verification Technology for Networking January 12, 2015 Mumbai, India http://ecee.colorado.edu/plvnet2015/ Co-located with POPL 2015 -------------------------------------------------------------------------------- SCOPE AND FORMAT Modern networks are large, complex, and critical for society. Unfortunately, networks can also be unreliable. Network outages are common and often caused by bugs in network programs and configurations. These kinds of network outages are likely to become even more common, since networks continue to grow larger and become more complex. Therefore, we must develop tools and methods to help operators reason about network behavior, performance, and security. Over the past several years, there has been a flurry of activity in this space. Several researchers in programming languages and verification communities have applied their expertise to develop tools and techniques for building and reasoning about networks. The goal of this informal workshop is to convene researchers interesting in applying their techniques to networking. The program will have both invited and contributed talks and plenty of time for discussion and debate. We plan to have a diverse program, including invited talks, contributed talks and tutorials, and ample time for discussion. This is an informal workshop with no published proceedings. Invited Speakers: - Mooly Sagiv (Tel Aviv University) - Shriram Krishnamurthi (Brown University) SUBMISSIONS We do not have strict formatting guidelines. You may submit either a text file or a PDF document. Try to keep the abstract short. Please do not exceed two pages of the standard ACM sigplanconf stylesheet. At least one author of each submission is expected to register and attend to present the work. Submission site: https://conferences.cs.umass.edu/plvnet2015/ ORGANIZERS Program Chairs: - Pavol Cerny (University of Colorado Boulder) - Arjun Guha (University of Massachusetts Amherst) Program Committee: - Nikolaj Bjørner (Microsoft Research) - Nate Foster (Cornell University) - Eric Keller (University of Colorado Boulder) - Shriram Krishnamurthi (Brown University) - Boon Thau Loo (University of Pennsylvania) - David Walker (Princeton University)