Conference Information
FTfJP 2012: International Workshop on Formal Techniques for Java-like Programs
http://www.comp.nus.edu.sg/~ftfjp/Submission Date: |
|
Notification Date: |
2012-04-29 |
Conference Date: |
2012-06-12 |
Location: |
Beijing, China |
Years: |
14 |
CORE: c QUALIS: b4 Viewed: 13673 Tracked: 0 Attend: 0
Call For Papers
Acceptance Ratio
| Year | Submitted | Accepted | Accepted(%) |
|---|---|---|---|
| 2004 | 20 | 11 | 55% |
Related Conferences
| Short | Full Name | Conference |
|---|---|---|
| FLOPS | International Symposium on Functional and Logic Programming | 2012-05-23 |
| JSSPP | International Workshop on Job Scheduling Strategies for Parallel Processing | 2012-05-25 |
| JTRES | International Workshop on Java Technologies for Real-time and Embedded Systems | 2016-08-29 |
| FORMATS | International Conference on Formal Modeling and Analysis of Timed Systems | 2022-09-12 |
| ICA3PP | International Conference on Algorithms and Architectures for Parallel Processing | 2025-10-30 |
| PLoP | International Conference on Pattern Languages of Programs | 2016-10-24 |
| RTA | International Conference on Rewriting Techniques and Applications | 2015-06-29 |
| PAAP | International Symposium on Parallel Architectures, Algorithms and Programming | 2022-11-04 |
| FORTE | International Conference on Formal Techniques for Distributed Systems | 2026-06-08 |
| FTfJP | International Workshop on Formal Techniques for Java-like Programs | 2012-06-12 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| IET Computers and Digital Techniques | 0.484 | IET | 1751-8601 | |
| International Journal of Parallel Programming | 0.900 | Springer | 0885-7458 | |
| International Journal of Information Sciences and Techniques | AIRCC | 2319-409X | ||
| Journal of Logical and Algebraic Methods in Programming | 0.700 | Elsevier | 2352-2208 | |
| Information Technology and Management | 2.300 | Springer | 1385-951X | |
| b | ACM Transactions on Reconfigurable Technology and Systems | 3.100 | ACM | 1936-7406 |
| b | Formal Aspects of Computing | 1.400 | ACM | 0934-5043 |
| Information Technology & People | 4.900 | Emerald | 0959-3845 | |
| c | International Journal on Software Tools for Technology Transfer | 1.100 | Springer | 1433-2779 |
| Human Technology | University of Jyvaskyla | 1795-6889 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| IET Computers and Digital Techniques | 0.484 | IET |
| International Journal of Parallel Programming | 0.900 | Springer |
| International Journal of Information Sciences and Techniques | AIRCC | |
| Journal of Logical and Algebraic Methods in Programming | 0.700 | Elsevier |
| Information Technology and Management | 2.300 | Springer |
| ACM Transactions on Reconfigurable Technology and Systems | 3.100 | ACM |
| Formal Aspects of Computing | 1.400 | ACM |
| Information Technology & People | 4.900 | Emerald |
| International Journal on Software Tools for Technology Transfer | 1.100 | Springer |
| Human Technology | University of Jyvaskyla |