软件工程 | POPL 2020等国际会议信息6条

软件工程

FfJP 2019

Workshop on Formal Techniques for Java-like Programs

全文截稿: 2019-04-21

开会时间: 2019-07-15

会议难度: ★★

CCF分类: 无

会议地点: London, UK

网址：https://2019.ecoop.org/home/FTfJP-2019

Example topics of interest include:
   Language design and semantics
   Type systems
   Concurrency and new application domains
   Specification and verification of program properties
   Program analysis (static or dynamic)
   Program Synthesis
   Security
   Pearls (programs or proofs)

软件工程

DLS 2019

Dynamic Languages Symposium

全文截稿: 2019-06-05

开会时间: 2019-10-20

会议难度: ★★

CCF分类: 无

会议地点: Athens, Greece

网址：https://conf.researchr.org/home/dls-2019

The 15th Dynamic Languages Symposium (DLS) at SPLASH 2019 is the
premier forum for researchers and practitioners to share research and
experience on all aspects on dynamic languages.
DLS 2019 invites high quality papers reporting original research and
experience related to the design, implementation, and applications of
dynamic languages.
Areas of interest are generally empirical studies, language design,
implementation, and runtimes, which includes but is not limited to:
- innovative language features
- innovative implementation techniques
- innovative applications
- development environments and tools
- experience reports and case studies
- domain-oriented programming
- late binding, dynamic composition, and run-time adaptation
- reflection and meta-programming
- software evolution
- language symbiosis and multi-paradigm languages
- dynamic optimization
- interpretation, just-in-time and ahead-of-time compilation
- soft/optional/gradual typing
- hardware support
- educational approaches and perspectives
- semantics of dynamic languages
- frameworks and languages for the Cloud and the IoT

软件工程

PROFES 2019

International Conference on Product-Focused Software Process Improvement

摘要截稿: 2019-06-07

全文截稿: 2019-06-14

开会时间: 2019-11-27

会议难度: ★★

CCF分类: 无

会议地点: Barcelona, Spain

网址：https://profes2019.upc.edu

PROFES, the International Conference on Product-Focused Software Process Improvement, is among the top recognized software development and process improvement conferences. The 20th edition of PROFES will be held in Barcelona, Spain, from November 27 to 29, 2019. PROFES organization is composed of international recognized researchers in software engineering. PROFES 2019 is part of a series of conferences presented by profes-conferences.org

The objective of PROFES is to provide a premier forum for practitioners, researchers, and educators to present and discuss experiences, ideas, innovations, as well as concerns related to professional software development and process improvement driven by product and service quality needs. PROFES especially welcomes contributions emerging from applied research to foster industry-academia collaborations of leading industries and research institutions.

PROFES conferences encourage the exchange of ideas that help explore, understand, and model phenomena in software engineering from the point of view of process-product relationships. Traditionally, PROFES provides topics, which are up-to-date, important, and interesting to both practitioners and researchers. To ensure that PROFES will retain its high standards and that it will keep focusing on the most relevant research issues, we are looking for original research on current trends in software engineering aspects addressing products and services. Further, PROFES asks for studies reporting about the application of respective methods or technologies in real settings.

软件工程

F-IDE 2019

Workshop on Formal Integrated Development Environments

摘要截稿: 2019-06-18

全文截稿: 2019-06-25

开会时间: 2019-10-07

会议难度: ★★

CCF分类: 无

会议地点: Porto, Portugal

网址：https://fideworkshop2019.inesctec.pt

Topics
   F-IDE building: design and integration of languages,
   development of user-friendly front-ends
   How to make high-level logical and programming concepts palatable
   to industrial developers
   Integration of Object-Oriented and modularity features
   Integration of static analyzers
   Integration of automatic proof tools,
   theorem provers and testing tools
   Documentation tools
   Impact of tools on certification
   Experience reports on developing F-IDEs
   Experience reports on using F-IDEs
   Experience reports on formal methods-based assessments
   in industrial applications

软件工程

POPL 2020

ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages

全文截稿: 2019-07-10

开会时间: 2020-01-19

会议难度: ★★★★★

CCF分类: A类

会议地点: New Orleans, USA

网址：https://popl20.sigplan.org/home

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. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages.

The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.

POPL 2020 and its co-located events will take place in New Orleans, USA, January 19–25, 2020.

软件工程

LOPSTR 2019

International Symposium on Logic-based Program Synthesis and Transformation

全文截稿: 2019-07-17

开会时间: 2019-10-08

会议难度: ★★★

CCF分类: C类

会议地点: Porto, Portugal

网址：http://www.cs.unibo.it/projects/lopstr19/

The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers.  
The 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019) will be held at the Porto, Portugal. Previous symposia were held in Namur, Edinburgh, Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester and Frankfurt. LOPSTR 2019 will be co-located with the Symposium on Formal Methods, FM'19 and a part of the FM Week.  
Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. Both full papers and extended abstracts describing applications in all these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: synthesis, transformation, specialization, composition, optimization, inversion, specification, analysis and verification, testing and certification, program and model manipulation, machine learning for program development, integration of sub-symbolic and symbolic models, differential semantics, transformational techniques in SE, applications and tools.
Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome.

下载Call4Papers App，获取更多详细内容！