APLAS 2021 : Asian Symposium on Programming Languages and Systems
in Conferences Posted on March 22, 2021Conference Information
| Submission Deadline | Wednesday 16 Jun 2021 |
Proceedings indexed by : 
|
| Conference Dates | Oct 17, 2021 - Oct 22, 2021 | |
| Conference Address |
Chicago, United States 
|
|
| Conference & Submission Link | https://conf.researchr.org/home/aplas-2021 | |
Conference Organizers : ( Deadline extended ? Click here to edit 
)
)
Conference Ranking & Metrics (This is a TOP Conference)
|
|
| Proceedings | https://link.springer.com/conference/aplas |
| DBLP Page | https://dblp.uni-trier.de/db/conf/aplas |
Conference Call for Papers
We solicit contributions in the forms of regular research papers, and tool papers. Among others, solicited topics include:
Semantics, logics, foundational theory
Design of languages, type systems, and foundational calculi
Domain-specific languages
Compilers, interpreters, abstract machines
Program derivation, synthesis, and transformation
Program analysis, verification, model-checking
Logic, constraint, probabilistic, and quantum programming
Software security
Concurrency and parallelism
Tools and environments for programming and implementation
Applications of SAT/SMT to programming and implementation
Other Conferences in United States
|
WSC 2021 : Winter Simulation Conference |
Deadline : Mon 12 Apr 2021 |
|
|
Dec 12, 2021 - Dec 15, 2021 - Desert Ridge
|
United States
|
||
|
ITSC 2021 : IEEE Intelligent Transportation Systems Conference |
Deadline : Thu 15 Apr 2021 |
|
|
Sep 19, 2021 - Sep 22, 2021 - Indianapolis
|
United States
|
||
|
|
SRDS 2021 : Symposium on Reliable Distributed Systems |
Deadline : Fri 16 Apr 2021 |
|
|
Sep 20, 2021 - Sep 23, 2021 - Chicago
|
United States
|
||
|
ICPP 2021 : International Conference on Parallel Processing (ICPP) |
Deadline : Fri 16 Apr 2021 |
|
|
Aug 9, 2021 - Aug 12, 2021 - Chicago
|
United States
|
||
|
|
WiOpt 2021 : International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks |
Deadline : Fri 23 Apr 2021 |
|
|
Oct 18, 2021 - Oct 21, 2021 - Philadelphia
|
United States
|
||
