FSCD 2019: International Conference on Formal Structures for Computation and Deduction
- Call for paper, ranking, acceptance rate,
submission deadline, notification date, conference location, submission guidelines, and other important details
This article provides the call for paper, ranking, acceptance rate,
submission deadline, notification date, conference location, submission guidelines, and other important details of FSCD 2019: International Conference on Formal Structures for Computation and Deduction all at one place.
Conference Ranking
International Conference on Formal Structures for Computation and Deduction ranking based on CCF, Core, and Qualis is shown below:
|
CCF Ranking
|
|
|
Core Ranking
|
|
|
Qualis Ranking
|
|
Click here to check the ranking of any conference.
-
About CCF Ranking: The Chinese Computing Federation (CCF) Ranking provides a ranking of peer-reviewed journals and conferences in the field of computer science.
-
About Core Ranking: The CORE Conference Ranking is a measure to assess the major conference in the computing field. This ranking is governed by the CORE Executive Committee. To know more about Core ranking, visit Core ranking portal.
-
About Qualis Ranking: This conference ranking is published by the Brazilian ministry of education. It uses the h-index as a performance metric to rank conferences. Conferences are classified into performance groups that range from A1 (to the best), A2, B1, B2,..., B5 (to the wost). To know more about qualis ranking, visit here
Conference Acceptance Rate
Below is the acceptance rate of International Conference on Formal Structures for Computation and Deduction conference for the last few years:
| Year |
Submitted Papers |
Accepted Papers |
Accepted Percentage/Acceptance Rate |
We are working hard to collect and update the acceptance rate details of the conferences for recent years. However, you can consider the above (if available) acceptance rates to predict the average chances of acceptance of your research paper at this conference.
Conference Call for paper
FSCD covers all aspects of formal structures for computation anddeduction from theoretical foundations to applications. Building ontwo communities, RTA (Rewriting Techniques and Applications) and TLCA(Typed Lambda Calculi and Applications), FSCD embraces their coretopics and broadens their scope to closely related areas in logics,models of computation (e.g. quantum computing, probabilisticcomputing, homotopy type theory), semantics and verification in newchallenging areas (e.g. blockchain protocols or deep learningalgorithms).Suggested, but not exclusive, list of topics for submission are:1. Calculi:Rewriting systems, Lambda calculus, Concurrent calculi, Logics,Type theory, Homotopy type theory, Logical frameworks, Quantumcalculi2. Methods in Computation and Deduction:Type systems; Induction and coinduction; Matching, unification,completion and orderings; Strategies; Tree automata; Modelchecking; Proof search and theorem proving; Constraint solving anddecision procedures3. Semantics:Operational semantics; Abstract machines; Game Semantics; Domaintheory; Categorical models; Quantitative models4. Algorithmic Analysis and Transformations of Formal Systems:Type inference and type checking; Abstract interpretation;Complexity analysis and implicit computational complexity; Checkingtermination, confluence, derivational complexity and relatedproperties; Symbolic computation5. Tools and Applications:Programming and proof environments; Verification tools; Proofassistants and interactive theorem provers; Applications inindustry (e.g. design and verification of critical systems);Applications in other sciences (e.g. biology)6. Semantics and verification in new challenging areas:Certification; Security; Blockchain protocols; Data bases; Deeplearning and machine learning algorithms; PlanningPUBLICATION-----------The proceedings will be published as an electronic volume in theLeibniz International Proceedings in Informatics (LIPIcs) of SchlossDagstuhl. All LIPIcs proceedings are open access.SUBMISSION GUIDELINES---------------------Submissions can be made in two categories. Regular research papersare limited to 15 pages (including references, with the possibility toadd an annex for technical details, e.g. proofs) and must presentoriginal research which is unpublished and not submittedelsewhere. System descriptions are limited to 15 pages (includingreferences) and must present new software tools in which FSCD topicsplay an important role, or significantly new versions of suchtools. Submissions must be formatted using the LIPIcs style files andsubmitted via EasyChair. Complete instructions on submitting a papercan be found on the conference web site:http://fscdconference.org/editions/fscd-2019/BEST PAPER AWARD BY JUNIOR RESEARCHERS--------------------------------------The program committee will consider declaring this award to a paper inwhich at least one author is a junior researcher, i.e. either astudent or whose PhD award date is less than three years from thefirst day of the meeting. Other authors should declare to the PC Chairthat at least 50% of contribution is made by the juniorresearcher(s).SPECIAL ISSUE-------------Authors of selected papers will be invited to submit an extendedversion for a special issue of Logical Methods in Computer Science.
Submission Deadline
FSCD 2019: International Conference on Formal Structures for Computation and Deduction submission deadline is 2019-02-08.
Note: It is generally recommended to submit your conference paper
on or before the submission deadline. Generally, conferences do not
encourage to submit the research paper after the deadline is over.
In rare scenarios, conferences extend their deadline. Decision about the
extension of the deadline is generally updated on the official conference webpage.
Notification date
Notification date of FSCD 2019: International Conference on Formal Structures for Computation and Deduction is 2019-04-08.
Note: This is the date on which conference announces the result about acceptance or rejection of submitted papers. If your research paper is accepted, the conference will request you to submit the camera ready version of your research paper by the due date. Due date to submit the camera ready version of the paper is generally posted on the official web page of the conferences or notified to you via. email.
Conference Date
FSCD 2019: International Conference on Formal Structures for Computation and Deduction will start on 2019-06-24.
Note: This is the date on which the conference starts.
Conference Location
FSCD 2019: International Conference on Formal Structures for Computation and Deduction will be organized at Dortmund, Germany. This is the place where the conference is organized and the research paper is to be presented.
