[TYPES/announce] SPLASH 2015 - Workshops Combined Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] // ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'15) Pittsburgh, Pennsylvania, USA 25th-30th October, 2015 http://www.splashcon.org Sponsored by ACM SIGPLAN // CALL FOR WORKSHOP PAPERS AND PARTICIPATION Submissions Deadline: August 7, 2015 // SPLASH'15 workshops address a rich variety of well-known and newly emerging research areas and provide a creative and collaborative environment to discuss and solve challenge problems with attendees from industry and research organizations from all over the world. Submission deadlines vary from workshop to workshop. Some workshops will be published in the ACM Digital Library. The current SPLASH'15 workshops program is listed below and the abstracts at the end. ** CURRENT WORKSHOP PROGRAM AGERE! - Workshop on Programming based on Actors, Agents, and Decentralized Control http://2015.splashcon.org/track/agere2015 Abstracts: August 1, 2015, Submissions: August 7, 2015, Position/work-in-progress Papers and Demos: September 7, 2015 DSM - Workshop on Domain-Specific Modeling http://2015.splashcon.org/track/dsm2015 Submissions: August 7, 2015 ETX - Eclipse Technology eXchange Workshop http://2015.splashcon.org/track/etx2015 Paper Registration: July 31, 2015 Submissions: August 7, 2015 FPW - Future Programming Workshop http://2015.splashcon.org/track/fpw2015 Submissions: August 7, 2015 MobileDeLi - Workshop on Mobile Development Lifecycle http://2015.splashcon.org/track/mobiledeli2015 Submissions: August 7, 2015 PLATEAU – Workshop on Evaluation and Usability of Programming Languages and Tools http://2015.splashcon.org/track/plateau2015 Submissions: August 7, 2015 PROMOTO – Workshop on Programming for Mobile and Touch http://2015.splashcon.org/track/promoto2015 Submissions: August 7, 2015 Parsing@SLE - Workshop on Parsing Programming Languages http://2015.splashcon.org/track/ParsingAtSLE2015 Submissions: August 7, 2015 REBLS - Workshop on Reactive and Event-based Languages Systems http://2015.splashcon.org/track/rebls2015 Submissions: August 7, 2015 SEPS - Workshop on Software Engineering for Parallel Systems http://2015.splashcon.org/track/seps2015 Submissions: August 7, 2015 SMART - Smart Software Strategies http://conf.researchr.org/track/SmartSoftwareStrategies2015/SmartSoftwareStrategies2015 Submissions: October 2, 2015 WODA - Workshop on Dynamic Analysis http://2015.splashcon.org/track/woda2015 Submissions: August 7, 2015 For additional information, clarification, early feedback, or answers to questions, please contact the Workshop Organizers of your favorite workshops, or the Workshops Chairs, Jan S. Rellermeyer and Du Li, at workshopsplash2...@easychair.org ** ANNEX: WORKSHOP ABSTRACTS AND DATES ** AGERE! 5th International Workshop on Programming based on Actors, Agents, and Decentralized Control http://2015.splashcon.org/track/agere2015 -Deadlines: Abstracts: August 1, 2015 Submissions: August 7, 2015 Position/work-in-progress Papers and Demos: September 7, 2015 - Organizers: Elisa Gonzalez Boix, Vrije Universiteit Brussel, Belgium Philipp Haller, KTH Royal Institute of Technology, Sweden Alessandro Ricci, University of Bologna, Italy Carlos Varela, Rensselaer Polytechnic Institute - Abstract: The AGERE! workshop is aimed at focusing on programming systems, languages and applications based on actors, active/concurrent objects, agents and – more generally – high-level programming paradigms promoting a mindset of decentralized control in solving problems and developing software. The workshop is designed to cover both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, and practitioners developing real-world systems and applications. ** DSM - Domain-Specific Modeling workshop http://2015.splashcon.org/track/dsm2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Jeff Gray, University of Alabama, USA Jonathan Sprinkle, University of Arizona, USA Juha-Pekka Tolvanen, MetaCase, Finland Matti Rossi, Aalto University School of Economics, Finland - Abstract: Domain-specific languages provide a viable and time-tested solution for
[TYPES/announce] ICFP 2015 Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Early registration ends 3 August. ] = Call for Participation ICFP 2015 20th ACM SIGPLAN International Conference on Functional Programming and affiliated events August 30 - September 5, 2015 Vancouver, British Columbia, Canada http://icfpconference.org/icfp2015/ = ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. A full week dedicated to functional programming: 1 conference, 1 symposium, 11 workshops, tutorials, programming contest results, student research competition, and mentoring workshop * Program: http://icfpconference.org/icfp2015/program.html * Accepted Papers: http://icfpconference.org/icfp2015/accepted.html * Affiliated Events: http://icfpconference.org/icfp2015/affiliated.html * Local arrangements (including travel and accommodation): http://icfpconference.org/icfp2015/local.html * Registration is available via: https://regmaster4.com/2015conf/ICFP15/register.php Early registration is due 3 August, 2015. * Programming contest, 7-10 August, 2015: http://icfpcontest.org/ * Follow @icfp_conference on twitter for the latest news: http://twitter.com/icfp_conference There are several events affiliated with ICFP: Sunday, August 30 Haskell Implementors Workshop Workshop on Higher-order Programming with Effects Workshop on Generic Programming Programming Languages Mentoring Workshop Ally Skills Tutorial Monday, August 31 – Wednesday, September 2 ICFP Thursday, September 3 Workshop on Functional High-Performance Computing Haskell Symposium – Day 1 ML Family Workshop Commercial Users of Functional Programming – Day 1 Friday, September 4 Erlang Workshop Haskell Symposium – Day 2 OCaml Workshop Commercial Users of Functional Programming – Day 2 Scheme and Functional Programming Workshop Saturday, September 5 Functional Art, Music, Modeling and Design Commercial Users of Functional Programming – Day 3 Conference Organizers General Chair: Kathleen Fisher, Tufts University Program Chair: John Reppy, University of Chicago Local Arrangements Chair: Ronald Garcia, University of British Columbia Industrial Relations Chair: Anil Madhavapeddy, University of Cambridge Workshop Co-Chairs: Tom Schrijvers, KU Leuven Nicolas Wu, University of Bristol Programming Contest Chair: Joe Kiniry, Galois Student Research Competition Chair: Andrew Kennedy, Microsoft Research Mentoring Workshop Co-Chairs: Ronald Garcia, University of British Columbia Stephanie Weirich, University of Pennsylvania Publicity Chair: David Van Horn, University of Maryland Video Chair: Iavor Diatchki, Galois Student Volunteer Co-Chairs: Felipe Bañados Schwerter, University of British Columbia Gabriel Scherer, INRIA Mobile App Chair: Reid Holmes, University of Waterloo Industrial partners: Platinum partners Jane Street Capital Gold partners Anonymous donor Ahrefs Google Mozilla Research Oracle Labs Silver partners Bloomberg Tsuru Capital Galois The University of Chicago Bronze partners Erlang Solutions FireEye IntelliFactory PivotCloud Systor Vest =
[TYPES/announce] REMS postdoc researcher / research-engineer positions
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, we've just advertised for two postdoc researcher / research-engineer positions, to work with the REMS semantic models of key infrastructure interfaces (multiprocessor semantics, C, ELF, filesystems, TCP, TLS ...), emulators and verification tools built above those, and the semantic tools we use to express them (Lem, Ott, Coq, HOL4, Isabelle/HOL). If you know of any good potential candidates, please draw this to their attention: http://www.jobs.cam.ac.uk/job/7576/ thanks, Peter
[TYPES/announce] TRENDS 2015: Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2015) --- Saturday September 5, 2015 (9:00-12:30), Madrid, Spain Affiliated with CONCUR 2015 http://www.concurrency-theory.org/events/workshops/trends TRENDS 2015 is an event organised by IFIP WG 1.8 on Concurrency Theory. It aims at bringing together researchers interested in concurrency theory and its applications, to exchange ideas and discuss about open problems and recent trends. PROGRAMME: The event will take place on September 5, 2015 and will consist of three invited talks by the following speakers: - Patricia Bouyer-Decitre, CNRS, France, - Bartek Klin, University of Warsaw, Poland - Irek Ulidowski, University of Leicester, United Kingdom, The workshop will be followed by the annual business meeting of WG 1.8. For a detailed programme with titles and abstracts of talks we refer to: http://www.concurrency-theory.org/events/workshops/trends PARTICIPATION: Please register for TRENDS 2015 via the registration page of CONCUR 2015: http://mafalda.fdi.ucm.es/concur2015/ ORGANISERS: Ilaria Castellani (INRIA Sophia Antipolis, FR) Mohammad Mousavi (Halmstad University, SE) IFIP WG 1.8: The aims of IFIP WG 1.8 on Concurrency Theory are: - To develop theoretical foundations of concurrency, exploring frontiers of existing theoretical models like process algebra and process calculi, so as to obtain a deeper theoretical understanding of concurrent and parallel systems. - To promote and coordinate the exchange of information on concurrency theory, by discussing ideas and open problems, and identifying future directions of research in the area. The activities of WG 1.8 encompass all aspects of concurrency theory and its applications.
[TYPES/announce] OCL 2015: ** Deadline Extension ** Submit Your Paper Until July 26, 2015
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for duplicates) If you are working on the foundations, methods, or tools for OCL or textual modelling, you should now finalise your submission for the OCL workshop! *** The submission deadline has been extended to July 26th, 2015! *** CALL FOR PAPERS 15th International Workshop on OCL and Textual Modeling Tools and Textual Model Transformations Co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015) September 28th, 2015, Ottawa, Canada http://ocl2015.lri.fr Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. Topics of interest include (but are not limited to) === - Mappings between textual modeling languages and other languages/formalisms - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for -- validation, verification, and testing, -- model transformation and code generation, -- meta-modeling and DSLs, and -- query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports -- usage of textual modeling languages and tools in complex domains, -- usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks This year, we particularly encourage submissions describing tools that support - in a very broad sense - textual modeling languages (if you have implemented OCL.js to run OCL in a web browser, this is the right workshop to present your work) as well as textual model transformations. Venue = The workshop will be organized as a part of MODELS 2015 Conference in Ottawa, Canada. It continues the series of OCL workshops held at UML/MODELS conferences: York (2000), Toronto (2001), San Francisco (2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville (2007), Toulouse (2008), Denver (2009), Oslo (2010), Zurich (2011, at the TOOLs conference), 2012 in Innsbruck, 2013 in Miami, and 2014 in Valencia, Spain. Similar to its predecessors, the workshop addresses both people from academia and industry. The aim is to provide a forum for addressing integration of OCL and other textual modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling. Workshop Format === The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. Submissions === Three types of papers will be considered: * short papers (between 6 and 8 pages) describing ideas, * tool papers (between 6 and 8 pages), and * full papers (between 12 and 16 pages) in LNCS format. Submissions should be uploaded to EasyChair (https://easychair.org/conferences/?conf=ocl20150). The program committee will review the
[TYPES/announce] PhD Position in Verified Voting at ANU
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for a fully funded PhD position in the Logic and Computation Group at the Australian National University. Project: Trustworthy Electronic Voting Supervisors: Dirk Pattinson and Rajeev Gore Starting: December 2015 Contact: Dirk Pattinson (dirk.pattin...@anu.edu.au) Deadline: August 15, 2015 Project Summary Verifiable vote counting is one of the cornerstones of a trustworthy electronic voting system. Correctness and trust can be achieved by understanding voting protocols, specified textually in legislation, as formal rules. Vote counting can then be cast as successive rule application, where the sequence of rule application serves as an independently verifiable certificate attesting to the correctness of the count. The project offers a wide range of activities, ranging from foundations, rule design, efficiency considerations to concrete case studies. The project seeks to further investigate this idea and apply it to real-world voting systems and mainly deals with the following aspects: - generation of provably correct vote counting functions from rules - efficiency of rule-based vote counting and certificate checking - formal proofs of meta-properties of voting protocols - case studies with real-world voting protocol - minimising the gap between formal rules and legal specification Small Print - the studentship is open to individuals of any nationality. - the Logic and Computation Group (http://logic.cecs.anu.edu.au/) is part of the Research School of Computer Science (http://cs.anu.edu.au/) at the Australian National University (http://www.anu.edu.au/). - We are based in Canberra, Australia, the top-ranking region of the 2014 OECD quality of life survey (http://www.canberratimes.com.au/act-news/canberra-named-the-best-place-in-the-worldagain-20141006-10r5sp.html) - We actively seek to promote diversity in our workplace.
[TYPES/announce] CFP Workshops in conjunction with SYNAS 2015 (with deadline 25 July)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers --- Workshops in conjunction with SYNASC 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing September 21-24, 2015, Timisoara, Romania http://synasc.ro/2015 Important Dates --- 25 July 2015 : Paper submission (FIRM extended deadline) 01 August 2015 : Notification of acceptance 01 September 2015 : Registration 01 September 2015 : Revised papers according to the reviews 21-24 September 2015 : Symposium 30 November 2015 : Final papers for post-proceedings * Workshop on Agents for Complex Systems (ACSys) http://synasc.ro/2015/workshops/acsys-2015 * Workshop on Geoinformatics http://synasc.ro/2015/workshops/geoinformatics * Workshop on Iterative Approximation of Fixed Points (IAFP) http://synasc.ro/2015/workshops/iafp-2015 * Workshop on Natural Computing and Applications (NCA) http://synasc.ro/2015/workshops/nca-2015 --- SYNASC 2015 West University of Timisoara Department of Computer Science Bd. V. Parvan 4, 300223 Timisoara, Romania tel: + (40) 256 592195, +(40) 256 592389 fax: + (40) 256 592316, +(40) 256 592380