on Cryptographic Relational Automatonic Programtyping and other revolutionary Concepts
(co-located with the EWSCS '14)Overview
In view of the contemporary unifying of theories of various dependent and independent types, the modern tools for weighted secure to-party automata require new greater advances in algorithmic mechanism design. Never has this been more apparent. Henceforth, the breakthrough of the conference is to promote discussion and interaction between researchers and practitioners focused on disciplines as well as different areas. We are particularly interested in fostering the exchange of concepts, prototypes, research ideas and other results, which could contribute to the algebraic arena and also benefit business and the industrial community.
CrapCon 2014 is a world-famous international forum for scientists and engineers, researchers and consultants, theoreticians and practitioners, food and drinks, Varmo and Tarmo. It aims to provide an outlet for the scientific presentations of most recent developments, focused into specific disciplinary research, as well as to multi- inter- and transdisciplinary studies.
A Metaphor Through CrapCon conferences, we are trying to relate the analytic thinking, required in focused conferenceĀ“s sessions, with the synthetic thinking, required for analogies generation, which calls a for multi-focus domain and divergent thinking. We are trying to promote synergic relationships between analytically and synthetically oriented minds, as it is found between left and right brain hemispheres, by means of the corpus callosum. Then, CrapCon 2014 might be perceived as a research corpus callosum, trying to bridge analytical with synthetically oriented efforts, convergent with divergent thinking, and focused specialists with non-focused or multi-focused generalists © Content and design of this inset courtesy of WMSCI'14 |
Topics of interest
The conference intends to cover all aspects of the abovementioned research areas. The potential topics include, but are not limited to nor restricted by:
- Dependent to party computation
- Protocols with a trusted dealer
- Anonymous weight-watching automata
- Near-optimal design with shellfish agents
- Fixed-size write-only papers
- Logic-free programming languages
- Directing categories to free monoids
- Irrational and unrecognizable powerless series
- Practical attacks on truthfulnesslessness
- Resource flow from undecidable open cases
- The three man problems of sequentialization reduction with contraction
- How to keep your outrageous but meaningful Agda in order
- Are ℐ↴↵↭ℰ any good in practice?
- {{facebook}} - the double invisible approach to learning
The conference website is: http://crapcon.ing.ee/2014/
Call for Presentations
Researchers of all areas and ages are welcome to submit their results in the form of an oral presentation given at the conference site in front of the worldwide CrapCon community.
The presentation duration is expected to fail in the range of 2 to 10 minutes.
Please, register the title of your talk with one of the Program Committee or Steering Committee members.
Conference Venue
The conference will be hosted in the restaurant of Park Hotel Palmse.Schedule
March 5th (Wednesday)19:30 - 20:30 | Conference dinner session |
21:00 - 21:05 | Welcome session |
21:05 - 22:00 | Plenary session |
22:00 - 22:20 | Invited exercises with Aivar Annamaa |
22:20 - 23:00 | Student session |
23:00 - 23:10 | Closing session |
Program Committee
- Mr. Ilya Kuzovkin, M.Sc.
- Mr. Vesal Vojdani, Ph.D.
- Mr. Konstantin Tretyakov, M.Sc., Ph.Duh.
Laur Committee
- Mr. Sven Laur, Dr.Tech.
Overseas Advisory Board
- Mr. Dan Bogdanov, Ph.D.
- Mrs. Liina Kamm, M.Sc, Dr.NotYet.
Staring Committee
- Mr. Pavel Sukhov
- Mr. Kristjan Liiva
- Mr. Jaak Randmets
- Mr. Juhan Ernits
Local Organizing Committee
- Tarmo Uustalu
- Monika Perkmann
- Peeter Laud
- Varmo Vene