The deadline for submissions to the postproceedings has been extended to 28 February 2015, see below!
Postproceedings for CCC’2014 – Call for Submissions – Extended Deadline!
After a further year of successful work in the EU-IRSES project COMPUTAL and an excellent conference in Ljubljana (Slovenia) in September this year, we are planning to publish a collection of papers dedicated to the meeting and the project in the
JOURNAL OF LOGIC AND ANALYSIS
The issue should reflect progress made in Computable Analysis and related areas, not only work in the project.
Submissions are welcome from all scientists and should be on topics in the spectrum from logic to algorithms including, but not limited to,
- Computable analysis
- Complexity of real number computations
- Computing with continuous data
- Domain theory and analysis
- Randomness and computable measure theory
- Models of computation with real numbers
- Realizability theory and analysis
- Reverse analysis
- Exact real number computation
- Program extraction in analysis.
Editors
Andrej Bauer (Ljubljana, Slovenia)
Ulrich Berger (Swansea, UK)
Willem Fouché (Pretoria, South Africa)
Dieter Spreen (Siegen, Germany & Pretoria, South Africa)
Hideki Tsuiki (Kyoto, Japan)
Martin Ziegler (Darmstadt, Germany)
Deadline for submissions:
31 January 2015 28 February 2015
Please prepare your manuscript using the JLA class file jlogana.cls and the bibliography style file jloganal.bst which can be downloaded from
http://logicandanalysis.org/latex/latexinstructions.html
For submissions go to the JLA webpage
http://logicandanalysis.org/index.php/jla/information/authors
and follow the instructions given there. In addition, important,
- When submitting to JLA, write CCC2014 POSTPROCEEDINGS in the Comments-for-the-Editor box.
- Send a separate copy of your submission to spreen@math.uni-siegen.de
- And, if appropriate, identify one or more members of the Issue Editors mentioned above whose interests are closest to the subject matter of the paper in the mail.
Best regards,
Andrej Bauer
Ulrich Berger
Willem Fouché
Dieter Spreen
Hideki Tsuiki
Martin Ziegler
iRRAM on github
Since CCC’14, the iRRAM package can also be found at github. You can find the most recent versions there, currently an almost final version 2014_01.
JAIST workshop 2015
In 2015, JAIST will host a workshop affiliated with COMPUTAL, please have a look at
the announcement on this board!
CCC 2014 is on its way …
The 2014 Computal conference is drawing nearer, please have a look at the details.
Postproceedings for CCC’2013 – Call for Submissions
After a year of successful work in the EU-IRSES project Computal and an excellent conference in Gregynog (Wales) in June this year, we are planning to publish a special issue of
Mathematical Structures in Computer Science
dedicated to the meeting and the project.
The special issue should reflect progress made in Computable Analysis and related areas, not only our work in the project.
Submissions are welcome from all scientists working in fields like
- Computable analysis
- Complexity of real number computations
- Computing with continuous data
- Domain theory and analysis
- Randomness and computable measure theory
- Models of computation with real numbers
- Realizability theory and analysis
- Reverse analysis
- Exact real number computation
- Program extraction in analysis.
Editors:
Hajime Ishihara (JAIST, Japan)
Margarita Korovina (Novosibirsk, Russia)
Arno Pauly (Cambridge, UK)
Monika Seisenberger (Swansea, UK)
Dieter Spreen (Siegen, Germany, and Pretoria, South Africa)
Deadline for abstracts:
- 31 January 2014
Deadline for full papers:
- 28 February 2014
Submission:
- We want to split the submission process into two parts: Please, first submit an abstract of your paper and then later the full paper.
- Please prepare your manuscript using the MSCS style file which can be downloaded from ftp.cup.cam.ac.uk and submit both the abstract as well as the full manuscript to https://www.easychair.org/account/signin.cgi?conf=ccc2013mscspostproce
Best regards,
Hajime Ishihara
Margarita Korovina
Arno Pauly
Monika Seisenberger
Dieter Spreen
New iRRAM version
Dear all! After many years, a new version (iRRAM_2013_01) of the iRRAM software can be downloaded from irram.uni-trier.de. As the last official version is already five years old, the number of changes is quite large (but most of them are invisible to you). The visible changes include an improved and simplified way of compilation and installation as well as the possibility to write multi-threaded programs (i.e. we are on the way of doing things in parallel…). If you want to know more, please come to the conference in Gregynog, 27-30, June 2013, where I will give you a tutorial!
CCC 2013 is on its way…
The 2013 Computal conference is coming closer, please have a look at the details.
The day after…
The 2nd CCC conference is over. As a farewell we had a delicious BBQ, where even the weather was perfect. What a pity that a few of the participants had to return home early and so missed this event!
Many thanks go to all the participants for coming to Trier. I hope you enjoyed your stay.
Additional thanks go to all the speakers: All of you gave us very interesting and inspiring talks!
I already look forward to meeting you again!
Norbert
Conference programme online!
After some final changes, the programme is online now. Please have a look what to expect next week in Trier: CCC-2012-Programme
Edit: I assume the final programme will only exist after the conference is finished: If you find time, have a look at the next version: CCC-2012-Programme (version 2012-05-25-09-07)