Home      Log In      Contacts      FAQs      INSTICC Portal
 

Universities, R&D Groups and Academic Networks

PECCS is a unique forum for universities, research groups and research projects to present their research and scientific results, be it by presenting a paper, hosting a tutorial or instructional course or demonstrating its research products in demo sessions, by contributing towards panels and discussions in the event's field of interest or by presenting their project, be it by setting up an exhibition booth, by being profiled in the event's web presence or printed materials or by suggesting keynote speakers or specific thematic sessions.

Special conditions are also available for Research Projects which wish to hold meetings at INSTICC events.





Current Academic Partners:


Tycoon Project


In the Tycoon Project, we aim at developing methods able to detect and correct numerical accuracy errors at software development time, i.e. during the programming phase. From a software engineering point of view, the advantages of our approach are many, since it is well-known that late bug detection is time and money consuming. We also aim at using intensively used techniques recognized for their ability to avoid run-time errors. This choice is motivated by efficiency reasons as well as for end-user adoptability reasons. We plan to build upon the ML programming language. More precisely, we aim at developing a ML-like type system for floating-point computations in which the type of an arithmetic expression carries information on its accuracy. Type systems have been used in programming languages such as ML for a long time, to reduce possibilities of bugs before running the programs.



footer