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: 14683 Tracked: 0 Attend: 0
Call For Papers
Acceptance Ratio
| Year | Submitted | Accepted | Accepted(%) |
|---|---|---|---|
| 2004 | 20 | 11 | 55% |
Related Conferences
| Short | Full Name | Conference |
|---|---|---|
| FORTE | International Conference on Formal Techniques for Distributed Systems | 2026-06-08 |
| ICA3PP | International Conference on Algorithms and Architectures for Parallel Processing | 2025-10-30 |
| PAAP | International Symposium on Parallel Architectures, Algorithms and Programming | 2022-11-04 |
| FORMATS | International Conference on Formal Modeling and Analysis of Timed Systems | 2022-09-12 |
| JTRES | International Workshop on Java Technologies for Real-time and Embedded Systems | 2016-08-29 |
| PLoP | International Conference on Pattern Languages of Programs | 2016-10-24 |
| RTA | International Conference on Rewriting Techniques and Applications | 2015-06-29 |
| FLOPS | International Symposium on Functional and Logic Programming | 2012-05-23 |
| JSSPP | International Workshop on Job Scheduling Strategies for Parallel Processing | 2012-05-25 |
| FTfJP | International Workshop on Formal Techniques for Java-like Programs | 2012-06-12 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| IEEE Industrial Electronics Magazine | 5.7 | IEEE | 1932-4529 | |
| Information Technology & People | 5.6 | Emerald | 0959-3845 | |
| b | ACM Transactions on Reconfigurable Technology and Systems | 2.8 | ACM | 1936-7406 |
| Archive for Rational Mechanics and Analysis | 2.4 | Springer | 0003-9527 | |
| Information Technology and Management | 2.300 | Springer | 1385-951X | |
| b | Formal Aspects of Computing | 1.400 | ACM | 0934-5043 |
| c | International Journal on Software Tools for Technology Transfer | 1.100 | Springer | 1433-2779 |
| International Journal of Parallel Programming | 0.900 | Springer | 0885-7458 | |
| Journal of Logical and Algebraic Methods in Programming | 0.700 | Elsevier | 2352-2208 | |
| IET Computers and Digital Techniques | 0.484 | IET | 1751-8601 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| IEEE Industrial Electronics Magazine | 5.7 | IEEE |
| Information Technology & People | 5.6 | Emerald |
| ACM Transactions on Reconfigurable Technology and Systems | 2.8 | ACM |
| Archive for Rational Mechanics and Analysis | 2.4 | Springer |
| Information Technology and Management | 2.300 | Springer |
| Formal Aspects of Computing | 1.400 | ACM |
| International Journal on Software Tools for Technology Transfer | 1.100 | Springer |
| International Journal of Parallel Programming | 0.900 | Springer |
| Journal of Logical and Algebraic Methods in Programming | 0.700 | Elsevier |
| IET Computers and Digital Techniques | 0.484 | IET |