[TYPES/announce] 1st CFP: Service-Oriented Architectures and Programming track of the 31st ACM/SIGAPP SAC
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SOAP track at SAC 1st Call for Papers Service-Oriented Architectures and Programming track of the 31st ACM/SIGAPP Symposium On Applied Computing 4-8 April 2016, Pisa, Italy http://sac-soap.sdu.dk/soap2016 http://sac-soap.sdu.dk/soap2016 IMPORTANT DATES September 11, 2015: Submission of regular papers and SRC research abstracts November 13, 2015: Notification of paper and SRC acceptance/rejection December 11, 2015: Camera-ready copies of accepted papers/SRC December 18, 2015: Author registration due date ACM SAC 2016 For the past thirty years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2016 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be held in Pisa (Italy). SOAP TRACK: CALL FOR PAPERS Service-Oriented Programming (SOP) is quickly changing our vision of software development, bringing a paradigmatic shift in the methodologies followed by programmers when designing and implementing distributed systems. SOP originally triggered a radical transformation of the Web, from being a means of presenting information to a wide spectrum of people to becoming a computational fabric. In such fabric, loosely-coupled services publish their interfaces and, through them, discover and interact with each other abstracting from their internal implementations. While this transformation still continues today, it has also already generated other shifts in how programmers deal with resource handling (Cloud Computing) and the scalability of software architectures from the very small to the very large (Microservices). Research on SOP is giving strong impetus to the development of new technologies and tools for creating and deploying distributed software. In the context of this modern paradigm we have to cope with an old challenge, like in the early days of Object-Oriented Programming (OOP) when consistency in the programming model definition was not achieved until the introduction of key features like encapsulation, inheritance, and polymorphism, together with proper design methodologies. The complex scenario of SOP needs to be clarified on many aspects, both from the engineering and from the foundational points of view. From the engineering point of view, there are open issues at many levels. Among others, at the system design level, both traditional approaches based on UML and approaches taking inspiration from business process modelling, e.g. BPMN, are used. At the composition level, orchestration and choreography are continuously improved both formally and practically, with an evident need for their integration in the development process. At the description and discovery level there are two separate communities pushing respectively the semantic approach (ontologies, OWL, ...) and the syntactic one like WSDL. In particular, the role of discovery engines and protocols is not clear. In this respect we still lack adopted standards: UDDI looked to be a good candidate, but it is no longer pushed by the main corporations, and its wide adoption seems difficult. Furthermore, a recent implementation platform, the so-called REST services, is emerging and competing with classic Web Services. Finally, features like Quality of Service, security and dependability need to be taken seriously into account, and this investigation should lead to standard proposals. From the foundational point of view, researchers have discussed widely in the last years, and many attempts to use formal methods for specification and verification in this setting have been made. Session correlation, service types, contract theories and communication patterns are only a few examples of the aspects that have been investigated. Moreover, several formal models based upon automata, Petri nets and algebraic approaches have been developed. However, most of these approaches concentrate only on a few features of Service-Oriented Systems in isolation, and a comprehensive approach is still far from being achieved. Our track aims at bringing together researchers and practitioners having the common objective of transforming SOP into a mature discipline with both solid scientific foundations and mature software engineering development methodologies supported by dedicated tools. In particular, we will encourage works and discussions about what SOP still needs in order to achieve its original goal. TOPICS OF INTEREST - Formal methods for Service-Oriented Computing - Notations, models, and standards for Service-Oriented Computing - Tools and Middlewares for Service-Oriented Development - Service-Oriented Programming Languages - Service-Oriented
[TYPES/announce] GTTSE 2015 -- Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] GTTSE 2015 -- Call for Participation The 5th Summer School on Grand Timely Topics in Software Engineering (GTTSE) Sunday 23 Aug - Saturday 29 Aug, 2015, Braga, Portugal http://gttse.wikidot.com/ Registration is open for participants! http://gttse.wikidot.com/2015:registration There is a students' workshop to which one may submit. http://gttse.wikidot.com/2015:students-workshop List of speakers * Matthew Dwyer (University of Nebraska, USA): Probabilistic program analysis * Cesar Gonzalez-Perez (Spanish National Research Council (CSIC), Spain): How ontologies can help in software engineering * Stefan Hanenberg (University of Duisburg-Essen, Germany): Empirical Evaluation of Programming and Programming Language Constructs * Frédéric Jouault (ESEO Institute of Science and Technology, France): Model Synchronization * Julia Rubin (MIT, USA): To merge or not to merge: managing software product families * Leif Singer (University of Victoria, Canada): People Analytics in Software Development * Ulrik Pagh Schultz (University of Southern Denmark, Denmark): DSLs in Robotics: A Case Study in Programming Self-reconfigurable Robots * Yannis Smaragdakis (University of Athens, Greece): Structured Program Generation Techniques * Friedrich Steimann (FernUniversität in Hagen, Germany): Refactoring and beyond * Nikolai Tillmann (Microsoft Research, USA): Software Engineering Processes in the Cloud * Guido Wachsmuth (Delft University of Technology, The Netherlands): Name Binding: Paradigms, Representation and Specification Scope = Historically, in the first four editions of GTTSE, the school series focused on generative and transformational techniques in software engineering, as evident from the original acronym (GTTSE - Generative and Transformational Techniques in Software Engineering). With the rise of the Software Language Engineering conference, the school series also covered that field. As of the 5th edition, a broader scope is applied to include additional areas of software engineering, e.g., software analysis, empirical research, modularity, and product lines. Thus, the new expansion of the GTTSE acronym: Grand Timely Topics in Software Engineering. The notion of timely topics is inspired by the ICSE conference which, in its 2015 edition, features technical briefings as a venue for communicating the current state of a timely topic related to software engineering. Format == The school's scientific program of GTTSE 2015 consists of 10 briefings for different timely topics in software engineering. Each briefing is based on a relatively short paper which combines aspects of surveying and tutorial. The surveying aspect is realized specifically by the design constraint for the briefings to dedicate 50% to the analysis of related work. The remaining 50% are typically dedicated to the more specific research of the presenters. Each briefing gets allotted 2-3 sessions with up to 3 hours in total. The speakers for the briefings are established authorities in their respective fields. GTTSE 2015 also features a students' workshop. These presentations may be refined into submissions of short papers (6-8 pages LNCS style) to be peer-reviewed and considered for inclusion in the post-proceedings past the school. All material presented at the school will be collected in informal proceedings to be handed out solely to the participants. Formal and public post-proceedings will be compiled after the summer school where all contributions are subjected to reviewing. The post-proceedings of the school will be published in a volume of the Lecture Notes in Computer Science series of Springer International Publishing. The post-proceedings of the previous four instances of the summer school were published as LNCS 4143 (GTTSE 2005), LNCS 5235 (GTTSE 2007), LNCS 6491 (GTTSE 2009) and LNCS 7680 (GTTSE 2011). Important dates === * 3 July: Early Registration Deadline * 7 August: Late Registration Deadline * 23-29 August: Summer School * 15 October: Submission deadline for post-proceedings * 15 December: Notifications of authors * 1 February: Camera-ready submissions Organization committee == * Jácome Cunha (Universidade Nova de Lisboa, Portugal) - Organization Chair * João Paulo Fernandes (Universidade da Beira Interior, Portugal) - Program Chair * Ralf Lämmel (Universität Koblenz-Landau, Germany) - Briefings Chair * João Saraiva (Universidade do Minho, Portugal) - General Chair * Joost Visser (Software Improvement Group, The Netherlands) - Industry Chair * Vadim Zaytsev (Universiteit van Amsterdam, The Netherlands) - Publicity Chair Scientific committee * Bram Adams (École Polytechnique de Montréal) * Benoit Baudry (INRIA) * Xavier Blanc (Bordeaux 1 University) * Darius Blasband (RainCode) * Paulo Borba (Federal University of Pernambuco) *
[TYPES/announce] OCL 2015: Second Call for Papers - Only Four Weeks Left
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for duplicates) 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 submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in a pre-conference
[TYPES/announce] Ph.D. and postdoc positions at IMDEA Software Institute
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] IMDEA Software Institute (Madrid, Spain) has several openings at the Ph.D. and post-doctoral levels. We seek applicants with a strong background in at least one of the following fields: * privacy, security, cryptography * program analysis and program verification * automated and interactive proofs The successful candidates are expected to join the computer-aided cryptography team. The main emphasis of our research is on verification of cryptographic algorithms and their implementations, we welcome applications from strong candidates interested in carrying their research in any of the broader areas listed above. Post-doctoral positions are for 1 year (renewable twice), whereas Ph.D. positions are for 4 years. Positions are renewable yearly subject to satisfactory progress. Starting date is negotiable. For further information and informal enquiries, please contact us at recr...@easycrypt.info. Applications should be submitted through the Institute web page: https://www.imdea.org/internationalcall/Default.aspx?IdInstitute=17 When completing your application, please indicate Verification, Security and Cryptography in the research lines. Applications must be received by July 15, 2015 to receive full consideration. However, applications will continue to be accepted until the positions are filled. Salaries Salaries at the institute are internationally competitive. Employees have access to an excellent public healthcare system. Work Environment The institute is located in the vibrant area of Madrid, Spain, and offers an ideal working environment where researchers can focus on developing new ideas and projects. The working language is English. For more information please visit the web pages of the IMDEA Software Institute at www.software.imdea.org The IMDEA Software Institute is an Equal Opportunity Employer and strongly encourages applications from a diverse and international community. The institute complies with the European Charter for Researchers.
[TYPES/announce] CFPs: POPL 2016 in St. Petersburg, FL, USA, January 20-22, 2016 [Deadline: 10 July 2015, AOE]
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers for the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016) St. Petersburg, Florida, USA, January 20-22, 2016 http://conf.researchr.org/home/POPL-2016/ https://urldefense.proofpoint.com/v2/url?u=http-3A__conf.researchr.org_home_POPL-2D2016_d=AwMFaQc=-dg2m7zWuuDZ0MUcV7Sdqwr=j79-cJ16iYo85iEKWqCQ1OC36a9y0sRzwTeXIcyCuXsm=RWlxGXDsyzSD5QZ8lPzO4cgFYCHV1JZgNnZPHnfAy-ws=K7FTbaK6A6oac5MWO9V98gQ4PhMrmIe4feTOi-CmN1Ae= Scope == The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. Papers discussing new ideas and new areas are encouraged, as are papers (often called pearls) that elucidate existing concepts in ways that yield new insights. We are looking for any submission with the potential to make enduring contributions to the theory, design, implementation or application of programming languages. Evaluation = The program committee will evaluate the technical contribution of each submission as well as its accessibility to both experts and the general POPL audience. All papers will be judged on significance, originality, relevance, correctness, and clarity. Explaining a known idea in a new way may make as strong a contribution as inventing a new idea. Hence, we encourage the submission of pearls: elegant essays that explain an old idea, but do so in a new way that clarifies the idea and yields new insights. There is no formal separation of categories; pearls will be held to the same standards as any other paper. Each paper should explain its contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. Authors should strive to make their papers understandable to a broad audience. More details can be found on the conference web page. Important Dates Paper registration 3 July 2015, AOE Paper submission 10 July 2015, AOE Submission URL https://popl16.hotcrp.com/ https://urldefense.proofpoint.com/v2/url?u=https-3A__popl16.hotcrp.com_d=AwMFaQc=-dg2m7zWuuDZ0MUcV7Sdqwr=j79-cJ16iYo85iEKWqCQ1OC36a9y0sRzwTeXIcyCuXsm=RWlxGXDsyzSD5QZ8lPzO4cgFYCHV1JZgNnZPHnfAy-ws=vQSjUMF-bVt99ErZU_vCwESRluanIE3XAgw96XUbv-Qe= Author response period17 September, 12:00 noon CET - 19 September, 12:00 noon CET Author notification 5 October 2015 Camera-ready deadline 5 November 2015 Main conference20-22 January 2016 Co-located events 17-19, 23 January 2016 Submission guidelines == Prior to the registration deadline, the authors will register their paper by uploading information on the submission title, abstract (of at most 300 words), authors, topics, and conflicts to the conference web site. Papers that are not registered on time will be rejected. Prior to the final paper submission deadline, the authors will upload their full paper in double blind format and formatted according to the ACM proceedings format. Each paper should have no more than 12 pages of text, excluding bibliography, in at least 9 pt format. Papers may be resubmitted multiple times up until the deadline. The last version submitted before the deadline will be the version that is reviewed. Papers that exceed the length requirement or are submitted late will be rejected. All deadlines are firm. We encourage authors to provide any supplementary material that is required to support the claims made in the paper, such as detailed proofs, proof scripts, or experimental data. These materials should be uploaded at submission time, as a single pdf or a tarball, not via a URL. It will be made available to reviewers only after they have submitted their first-draft reviews and hence need not be anonymized. Reviewers are under no obligation to look at the supplementary material but may refer to it if they have questions about the material in the body of the paper. Templates for ACM format are available for Word Perfect, Microsoft Word, and LaTeX at http://www.sigplan.org/Resources/Author https://urldefense.proofpoint.com/v2/url?u=http-3A__www.sigplan.org_Resources_Authord=AwMFaQc=-dg2m7zWuuDZ0MUcV7Sdqwr=j79-cJ16iYo85iEKWqCQ1OC36a9y0sRzwTeXIcyCuXsm=RWlxGXDsyzSD5QZ8lPzO4cgFYCHV1JZgNnZPHnfAy-ws=t6Xj8WGAzYNw_MWF1ft1WePye7Ee1zpMEWDtYot3BWUe= (use the 9 pt preprint template). Submissions should be in PDF and printable on US Letter and A4 sized paper. Submitted papers must adhere to the SIGPLAN Republication Policy and the ACM Policy on Plagiarism. Concurrent submissions to other conferences, workshops, journals, or similar forums of publication are not