CADE-25 25th International Conference on Automated Deduction

CADE-25 will be between 01 Aug and 07 Aug 2015.

The location of the Conference will be Freie University of Berlin which is one of the astonishing area for such an important event.

CADE-25 will be the world"s popular meeting for presenting and acquiring the most recent data about Computer, Information Technology, Computer Science, Logic Systems, Computer Algebra and Computational Logic.

25th International Conference on Automated Deduction is organized biennially.

When you are in Berlin for CADE-25, experience these three must visit locations and adore the beauty of this city:

• Must do in Berlin
• Must visit in Berlin
• Must taste in Berlin