International Center for Computational Logic - Benutzerbeiträge [de]

Ilja Shmelkin

2015-04-17T08:03:42Z

Ilja Shmelkin:

{{Mitarbeiter
|Vorname=Ilja
|Nachname=Shmelkin
|Forschungsgruppe=Wissensverarbeitung
|Stellung=Studentische Hilfskraft
|Ehemaliger=0
|Email=ilja.shmelkin@tu-dresden.de
|Bild=iljashmelkin.jpeg
|Publikationen anzeigen=0
|Abschlussarbeiten anzeigen=0
}}

International MSc

2015-03-19T11:47:12Z

Ilja Shmelkin: /* Study Prerequisites */

==== '''Introduction''' ====

click '''[[Introduction|here]]''' to read the full article.

[[Datei:labor.jpg|mini|alt=Computational Logic students in the computer lab|frameless|Students in the computer lab]]

==== '''For Prospective Students''' ====

====='''Regulations for the Aptitude Assessment Procedure'''=====

The present English translation of the 'Eignungsfeststellungsordnung' is non-official and has no legal binding effect. Only the German version is legally binding.
Regulations

[[media:Eignungsfeststellungsordnung_English.pdf|English language version]]

[[media:Eignungsfeststellungsordnung_German.pdf|German language version]]

====='''Study Prerequisites'''=====

The following prerequisites must be fulfilled by students applying for the
International MSc Program in Computational Logic:

*The application must be received before the [http://www.computational-logic.org/content/study/master/prospective/how_to_apply.php?id=42#deadlines application deadline].
*The application must be [http://www.computational-logic.org/content/study/master/prospective/how_to_apply.php?id=42#application%20contents complete].
*A Bachelor's Degree in Computer Science, Mathematics or a comparable university degree degree.
*English-Language certificate (for non-native speakers of English only) Since the medium of instruction in the Master's Program is English, students whose first language is not English must demonstrate competence in English. We recognize many different tests. In the most commonly available, the following minimum scores are required:
**[http://www.computational-logic.org/content/study/master/prospective/language_tests.php?id=42 IELTS:] Level 6.0
**[http://www.computational-logic.org/content/study/master/prospective/language_tests.php?id=42 TOEFL]: IBT (Institutional Testing Program): 550 or iBT (internet-based): 79
*Certificates indicating the achievement of "good" (grade B) or "very good" (grade A) in the following areas:
**[http://www.computational-logic.org/content/study/master/prospective/knowledge.php?id=42#Maths%20Foundations Foundations of Mathematical Logic]
**[http://www.computational-logic.org/content/study/master/prospective/knowledge.php?id=42#AI%20Foundations Foundations of Artificial Intelligence]
**[http://www.computational-logic.org/content/study/master/prospective/knowledge.php?id=42#Declarative%20Programming Declarative Programming]
**Theoretical Computer Science

:[[How To Apply]]

:[[Your Stay in Dresden]]

:[[Frequently Asked Questions]]

==== '''Business and Industry''' ====
[[Datei:TUD-ForschungBeratung.jpg.jpg|mini|alt=Advice at the Research Transfer Office of the university|frameless|Advice at the Research Transfer Office of the university]]

Computational logic is applied in many industrial and commercial applications like medicine, life sciences, pharmacological industry, sewage control, traffic control, data management and many other areas. Computational logic is also significant for the verification of safety-critical software and hardware, the specification and verification of embedded systems and for security issues. At the International Center for Computational Logic, we believe, this involvement with real world problems enhances our teaching and research by stimulating new ideas, programs and activities. We recognize and value these benefits of collaboration and are committed to building lasting partnerships with business and industry.
Within the International MSc Program in Computational Logic, we have been able to initiate student projects and placements with:

[http://www.hybris.de/ hybris]

[http://www.amtc-dresden.com/ Advanced Mask Technology Center Dresden]

[http://www.amd.com/ AMD Saxony]

[http://www.infineon.com/ Infineon Technologies Dresden]

[http://www.siemens.de/ Siemens]

Last update: Tue, 24 Oct 2006 23:46:21

==== '''Grants''' ====

===== '''Erasmus Mundus action 2 scholarship programme''' =====

[http://tu-dresden.de/internationales/erasmus_mundus Erasmus Mundus] grants are offered to applicants from selected partner universities.
Interested students must apply for the amdission related to the International MSc Program in Computational Logic until November.

===== '''Deutschlandstipendium''' =====

Students who are admitted to the International MSc program in Computational Logic program or who are studying in the program may apply for this financial support (about 300 EUR per month). The current announcement will be published mid of July. Further information on the conditions for granting and the application procedure is available from the [http://tu-dresden.de/studium/rund_ums_studium/finanzierung/deutschland_stipendium web page] maintained by the International Office of the Technische Universität Dresden.

===== '''The GE Foundation''' =====

The [http://www.ge.com/foundation/ General Electric Foundation]
offers various awards.

===== '''STIBET program''' =====

The TUD International Office offers mentoring scholarships and degree assistance to especially qualified foreign students of TU Dresden. The current announcement as well as the application form is provided [http://tu-dresden.de/internationales/int_stud/planning_your_course_of_studies/document.2009-01-26.8740332181 here].
Applications are possible between 1 December and 31 January / 1 June and 31 July (depending on the subject).

===== '''ERASMUS+ scholarships''' =====

TUD students can apply for [https://emcl-study.eu/fileadmin/emcl_booklet_tree/ma_support_em_tud.html#ma:Support:EM:TUD Erasmus+ scholarships] related to the study abroad. The monthly amount is about 200 EUR. Application deadline for this scholarship is NOVEMBER regarding the summer semester of the following year. More information is provided by the CL-secretary on request.

===== '''Further financial support''' =====

Students of the MSc program may apply for [http://www.computational-logic.org/content/study/master/current.php?id=43 financial support] related to the attendance of Summer schools or conferences.

==== '''Guests and Events''' ====
[[Datei:StudentsTeachingBahasa.jpg|mini|alt=Students teaching their fellows Bahasa Indonesia|frameless|Students teaching their fellows Bahasa Indonesia]]
====='''Guest Lecturers'''=====
click [[Guest Lecturers|'''here''']] to read the full article

====='''Scientific Talks'''=====

The International MSc Program in Computational Logic is truly international, with students coming from numerous different cultures. It is an endeavor of the International Center for Computational Logic (ICCL) to create an ambience where students and staff can intermingle freely and exchange ideas - whether the ideas come from the field of Computer Science or from the diversity of several cultural banners studying under one roof, the Center provides several opportunities to students to come up and discuss them.
The ICCL conducts weekly research seminars where both students and staff present their research topics, and invite constructive suggestions.
[[File:AtATalk-small.jpg|thumb|Students attending a talk|Students attending a talk]]
last updated Tue, 17 Mar 15

====='''Social Events'''=====
click [[Social Events|'''here''']] to read the full article
last updated Thu, 23 Oct 14

====='''Open House'''=====
The International MSc Program in Computational Logic is truly international, with students coming from numerous different cultures. It is an endeavour of the International Center for Computational Logic (ICCL) to create an ambience where students and staff can intermingle freely and exchange ideas - whether the ideas come from the field of Computer Science or from the diversity of several cultural banners studying under one roof, the Center provides several opportunities to students to come up and discuss them.
In addition to the weekly research seminars, we and the staff of the Institute for Artificial Intelligence organize the Open House, a weekly meeting with the idea to bring staff and students closer together. Every Wednesday afternoon students and staff meet for an informal get-together on the 2nd floor in front of the rooms 2033 and 2034.
[[File:OpenHouse-small.jpg|thumb|Students and staff meet at the Open House|Students and staff meet at the Open House]]
last updated Tue, 9 Oct 07

==== '''Internals''' ====
[[Datei:ICCL-Teleteaching.jpg|mini|alt=Teleteaching lecture at the ICCL|frameless|Teleteaching lecture at the ICCL]]

'''[[Graduation List]]'''

'''[http://www.computational-logic.org/old-page The Old CL Teaching Pages]''' Not maintained anymore since Dec 2004

See also the '''[[Sponsors]]''' of the International MSc Program

2015-03-19T10:44:15Z

Ilja Shmelkin:

2015-03-18T15:24:05Z

Ilja Shmelkin:

Social Events

2015-03-18T15:23:52Z

Ilja Shmelkin: Die Seite wurde neu angelegt: „= Social Events = Christmas party 2003 at Steffen's place The Internati…“

= Social Events =

[[File:ChristmasParty-small.jpg|none|thumb|Christmas party 2003 at Steffen's place|Christmas party 2003 at Steffen's place]]

The International MSc Program in Computational Logic is truly
international, with students coming from numerous different cultures. It
is an endeavor of the International Center for Computational Logic (ICCL)
to create an ambience where students and staff can intermingle freely and
exchange ideas - whether the ideas come from the field of Computer Science
or from the diversity of several cultural banners studying under one roof,
the Center provides several opportunities to students to come up and
discuss them.

In addition to the weekly research seminars, we at the ICCL organize
social events, special tours and excursions from time to time.

= Winter Semester 2014/2015 =

== December 2014 ==

[[X-mas Party]] at Steffen's
Place 
December 10, 2014

== October 2014 ==

<a href="upperhstiege.php?id=46"></a>Hiking tour in the Saxon Switzerland 
October 9, 2014

= Winter Semester 2013/2014 =

== December 2013 ==

[[X-mas Party]] at Steffen's
Place 
December 16, 2013

= Winter Semester 2012/2013 =

== December 2012 ==

[[X-mas Party]] at Steffen's
Place 
December 19, 2012

= Winter Semester 2011/2012 =

== December 2011 ==

[[X-mas Party]] at Steffen's
Place 
December 7, 2011

== November 2011 ==

[http://www.computational-logic.org/content/study/master/events/upperhstiege.php?id=46 Hiking tour through Upper Häntzschelstiege]
in the Saxon Switzerland
 
November 2, 2011

= Summer Semester 2011 =

== June 2011 ==

Excursion to the 'Waldseilpark'
([http://www.waldseilpark-dresden.de/ German web page]) in Dresden-Bühlau 
June 15, 2011

= Winter Semester 2010/2011 =

== December 2010 ==

[[X-mas Party]] at Steffen's
Place 
December 15, 2010

== October 2010 ==

[http://www.computational-logic.org/content/study/master/events/upperhstiege.php?id=46 Hiking tour through Upper Häntzschelstiege] in the Saxon Switzerland
([http://www.computational-logic.org/gallery.php?gal_id=40 picture gallery]) 
October 27, 2010

= Winter Semester 2009/2010 =

== December 2009 ==

[[X-mas Party]] at Steffen's
Place 
December 16, 2009

== October 2009 ==

[http://www.computational-logic.org/content/study/master/events/rauenstein.php?id=46 Hiking tour over Rauenstein] in the Saxon Switzerland
([http://www.computational-logic.org/gallery.php?gal_id=38 picture gallery]) 
October 26, 2009

= Summer Semester 2009 =

== June 2009 ==

BBQ at the Computer Science Department 
June 25, 2009

Excursion to Meißen 
June 24, 2009

== April 2009 ==

[http://www.computational-logic.org/content/study/master/events/pfaffenstein.php?id=46 Hiking tour over Pfaffenstein] in the Saxon Switzerland
([http://www.computational-logic.org/gallery.php?gal_id=36 picture gallery]) 
April 15, 2009

= Winter Semester 2008/2009 =

== December 2008 ==

[[X-mas Party]] in the
Computer Science Department 
December 11, 2008

= Summer Semester 2008 =

== July 2008 ==

BBQ at the Computer Science Department 
July 24, 2008

== May 2008 ==

Excursion to the 'Waldseilpark'
([http://www.waldseilpark-dresden.de/ German web page]) in Dresden-Bühlau 
May 28, 2008

= Winter Semester 2007/2008 =

== December 2007 ==

[[X-mas Party]] in the
Computer Science Department 
December 19, 2007

= Summer Semester 2007 =

== June 2007 ==

[http://www.computational-logic.org/content/study/master/events/climbing.php?id=46 Climbing tour] in the Saxon
Switzerland
([http://www.computational-logic.org/gallery.php?gal_id=35 picture gallery]) 
June 22, 2007

= Winter Semester 2006/2007 =

== February 2007 ==

Trip to Prague, the capital of the Czech Republic ([http://www.computational-logic.org/gallery.php?gal_id=34 picture gallery]) 
February 15 to 16, 2007

== December 2006 ==

[[X-mas Party]] in the new
building of the Computer Science Department 
December 13, 2006

== October 2006 ==

[http://www.computational-logic.org/content/study/master/events/koenigstein.php?id=46 Hiking tour to Königstein] in the Saxon Switzerland
([http://www.computational-logic.org/gallery.php?gal_id=32 picture gallery]) 
October 25, 2006

= Winter Semester 2004/2005 =

== February 2005 ==

[http://www.computational-logic.org/content/study/master/events/badschandau.php?id=46 Hiking tour to Bad Schandau] in the Saxon Switzerland
([http://www.computational-logic.org/gallery.php?gal_id=23 picture gallery]) 
February 3, 2005

== December 2004 ==

X-mas party at Steffen´s place 
December 15, 2004

== October 2004 ==

Guided walking tour through the city centre of Dresden 
October 11, 2004

International MSc

2015-03-18T15:11:40Z

Ilja Shmelkin: /* Guests and Events */

==== '''Introduction''' ====

click '''[[Introduction|here]]''' to read the full article.

[[Datei:labor.jpg|mini|alt=Computational Logic students in the computer lab|frameless|Students in the computer lab]]

==== '''For Prospective Students''' ====

:[[Regulations for the Aptitude Assessment Procedure]]

:[[Study Prerequisites]]

:[[How To Apply]]

:[[Your Stay in Dresden]]

:[[Frequently Asked Questions]]

==== '''Business and Industry''' ====
[[Datei:TUD-ForschungBeratung.jpg.jpg|mini|alt=Advice at the Research Transfer Office of the university|frameless|Advice at the Research Transfer Office of the university]]

Computational logic is applied in many industrial and commercial applications like medicine, life sciences, pharmacological industry, sewage control, traffic control, data management and many other areas. Computational logic is also significant for the verification of safety-critical software and hardware, the specification and verification of embedded systems and for security issues. At the International Center for Computational Logic, we believe, this involvement with real world problems enhances our teaching and research by stimulating new ideas, programs and activities. We recognize and value these benefits of collaboration and are committed to building lasting partnerships with business and industry.
Within the International MSc Program in Computational Logic, we have been able to initiate student projects and placements with:

[http://www.hybris.de/ hybris]

[http://www.amtc-dresden.com/ Advanced Mask Technology Center Dresden]

[http://www.amd.com/ AMD Saxony]

[http://www.infineon.com/ Infineon Technologies Dresden]

[http://www.siemens.de/ Siemens]

Last update: Tue, 24 Oct 2006 23:46:21

==== '''Grants''' ====

===== '''Erasmus Mundus action 2 scholarship programme''' =====

[http://tu-dresden.de/internationales/erasmus_mundus Erasmus Mundus] grants are offered to applicants from selected partner universities.
Interested students must apply for the amdission related to the International MSc Program in Computational Logic until November.

===== '''Deutschlandstipendium''' =====

Students who are admitted to the International MSc program in Computational Logic program or who are studying in the program may apply for this financial support (about 300 EUR per month). The current announcement will be published mid of July. Further information on the conditions for granting and the application procedure is available from the [http://tu-dresden.de/studium/rund_ums_studium/finanzierung/deutschland_stipendium web page] maintained by the International Office of the Technische Universität Dresden.

===== '''The GE Foundation''' =====

The [http://www.ge.com/foundation/ General Electric Foundation]
offers various awards.

===== '''STIBET program''' =====

The TUD International Office offers mentoring scholarships and degree assistance to especially qualified foreign students of TU Dresden. The current announcement as well as the application form is provided [http://tu-dresden.de/internationales/int_stud/planning_your_course_of_studies/document.2009-01-26.8740332181 here].
Applications are possible between 1 December and 31 January / 1 June and 31 July (depending on the subject).

===== '''ERASMUS+ scholarships''' =====

TUD students can apply for [https://emcl-study.eu/fileadmin/emcl_booklet_tree/ma_support_em_tud.html#ma:Support:EM:TUD Erasmus+ scholarships] related to the study abroad. The monthly amount is about 200 EUR. Application deadline for this scholarship is NOVEMBER regarding the summer semester of the following year. More information is provided by the CL-secretary on request.

===== '''Further financial support''' =====

Students of the MSc program may apply for [http://www.computational-logic.org/content/study/master/current.php?id=43 financial support] related to the attendance of Summer schools or conferences.

==== '''Guests and Events''' ====
[[Datei:StudentsTeachingBahasa.jpg|mini|alt=Students teaching their fellows Bahasa Indonesia|frameless|Students teaching their fellows Bahasa Indonesia]]
====='''Guest Lecturers'''=====
click [[Guest Lecturers|'''here''']] to read the full article

====='''Scientific Talks'''=====

The International MSc Program in Computational Logic is truly international, with students coming from numerous different cultures. It is an endeavor of the International Center for Computational Logic (ICCL) to create an ambience where students and staff can intermingle freely and exchange ideas - whether the ideas come from the field of Computer Science or from the diversity of several cultural banners studying under one roof, the Center provides several opportunities to students to come up and discuss them.
The ICCL conducts weekly research seminars where both students and staff present their research topics, and invite constructive suggestions.
[[File:AtATalk-small.jpg|thumb|Students attending a talk|Students attending a talk]]
last updated Tue, 17 Mar 15

====='''Social Events'''=====
click [[Social Events|'''here''']] to read the full article
last updated Thu, 23 Oct 14

====='''Open House'''=====
The International MSc Program in Computational Logic is truly international, with students coming from numerous different cultures. It is an endeavour of the International Center for Computational Logic (ICCL) to create an ambience where students and staff can intermingle freely and exchange ideas - whether the ideas come from the field of Computer Science or from the diversity of several cultural banners studying under one roof, the Center provides several opportunities to students to come up and discuss them.
In addition to the weekly research seminars, we and the staff of the Institute for Artificial Intelligence organize the Open House, a weekly meeting with the idea to bring staff and students closer together. Every Wednesday afternoon students and staff meet for an informal get-together on the 2nd floor in front of the rooms 2033 and 2034.
[[File:OpenHouse-small.jpg|thumb|Students and staff meet at the Open House|Students and staff meet at the Open House]]
last updated Tue, 9 Oct 07

==== '''Internals''' ====
[[Datei:ICCL-Teleteaching.jpg|mini|alt=Teleteaching lecture at the ICCL|frameless|Teleteaching lecture at the ICCL]]

'''[[Graduation List]]'''

'''[http://www.computational-logic.org/old-page The Old CL Teaching Pages]''' Not maintained anymore since Dec 2004

See also the '''[[Sponsors]]''' of the International MSc Program

International MSc

2015-03-18T15:10:55Z

Ilja Shmelkin: /* Open House' */

==== '''Introduction''' ====

click '''[[Introduction|here]]''' to read the full article.

[[Datei:labor.jpg|mini|alt=Computational Logic students in the computer lab|frameless|Students in the computer lab]]

==== '''For Prospective Students''' ====

:[[Regulations for the Aptitude Assessment Procedure]]

:[[Study Prerequisites]]

:[[How To Apply]]

:[[Your Stay in Dresden]]

:[[Frequently Asked Questions]]

==== '''Business and Industry''' ====
[[Datei:TUD-ForschungBeratung.jpg.jpg|mini|alt=Advice at the Research Transfer Office of the university|frameless|Advice at the Research Transfer Office of the university]]

Computational logic is applied in many industrial and commercial applications like medicine, life sciences, pharmacological industry, sewage control, traffic control, data management and many other areas. Computational logic is also significant for the verification of safety-critical software and hardware, the specification and verification of embedded systems and for security issues. At the International Center for Computational Logic, we believe, this involvement with real world problems enhances our teaching and research by stimulating new ideas, programs and activities. We recognize and value these benefits of collaboration and are committed to building lasting partnerships with business and industry.
Within the International MSc Program in Computational Logic, we have been able to initiate student projects and placements with:

[http://www.hybris.de/ hybris]

[http://www.amtc-dresden.com/ Advanced Mask Technology Center Dresden]

[http://www.amd.com/ AMD Saxony]

[http://www.infineon.com/ Infineon Technologies Dresden]

[http://www.siemens.de/ Siemens]

Last update: Tue, 24 Oct 2006 23:46:21

==== '''Grants''' ====

===== '''Erasmus Mundus action 2 scholarship programme''' =====

[http://tu-dresden.de/internationales/erasmus_mundus Erasmus Mundus] grants are offered to applicants from selected partner universities.
Interested students must apply for the amdission related to the International MSc Program in Computational Logic until November.

===== '''Deutschlandstipendium''' =====

Students who are admitted to the International MSc program in Computational Logic program or who are studying in the program may apply for this financial support (about 300 EUR per month). The current announcement will be published mid of July. Further information on the conditions for granting and the application procedure is available from the [http://tu-dresden.de/studium/rund_ums_studium/finanzierung/deutschland_stipendium web page] maintained by the International Office of the Technische Universität Dresden.

===== '''The GE Foundation''' =====

The [http://www.ge.com/foundation/ General Electric Foundation]
offers various awards.

===== '''STIBET program''' =====

The TUD International Office offers mentoring scholarships and degree assistance to especially qualified foreign students of TU Dresden. The current announcement as well as the application form is provided [http://tu-dresden.de/internationales/int_stud/planning_your_course_of_studies/document.2009-01-26.8740332181 here].
Applications are possible between 1 December and 31 January / 1 June and 31 July (depending on the subject).

===== '''ERASMUS+ scholarships''' =====

TUD students can apply for [https://emcl-study.eu/fileadmin/emcl_booklet_tree/ma_support_em_tud.html#ma:Support:EM:TUD Erasmus+ scholarships] related to the study abroad. The monthly amount is about 200 EUR. Application deadline for this scholarship is NOVEMBER regarding the summer semester of the following year. More information is provided by the CL-secretary on request.

===== '''Further financial support''' =====

Students of the MSc program may apply for [http://www.computational-logic.org/content/study/master/current.php?id=43 financial support] related to the attendance of Summer schools or conferences.

==== '''Guests and Events''' ====
[[Datei:StudentsTeachingBahasa.jpg|mini|alt=Students teaching their fellows Bahasa Indonesia|frameless|Students teaching their fellows Bahasa Indonesia]]
====='''Guest Lecturers'''=====
click [[Guest Lecturers|'''here''']] to read the full article

====='''Scientific Talks'''=====

The International MSc Program in Computational Logic is truly international, with students coming from numerous different cultures. It is an endeavor of the International Center for Computational Logic (ICCL) to create an ambience where students and staff can intermingle freely and exchange ideas - whether the ideas come from the field of Computer Science or from the diversity of several cultural banners studying under one roof, the Center provides several opportunities to students to come up and discuss them.
The ICCL conducts weekly research seminars where both students and staff present their research topics, and invite constructive suggestions.
[[File:AtATalk-small.jpg|thumb|Students attending a talk|Students attending a talk]]
last updated Tue, 17 Mar 15

[[Social Events]]

last updated Thu, 23 Oct 14

====='''Open House'''=====
The International MSc Program in Computational Logic is truly international, with students coming from numerous different cultures. It is an endeavour of the International Center for Computational Logic (ICCL) to create an ambience where students and staff can intermingle freely and exchange ideas - whether the ideas come from the field of Computer Science or from the diversity of several cultural banners studying under one roof, the Center provides several opportunities to students to come up and discuss them.
In addition to the weekly research seminars, we and the staff of the Institute for Artificial Intelligence organize the Open House, a weekly meeting with the idea to bring staff and students closer together. Every Wednesday afternoon students and staff meet for an informal get-together on the 2nd floor in front of the rooms 2033 and 2034.
[[File:OpenHouse-small.jpg|thumb|Students and staff meet at the Open House|Students and staff meet at the Open House]]
last updated Tue, 9 Oct 07

==== '''Internals''' ====
[[Datei:ICCL-Teleteaching.jpg|mini|alt=Teleteaching lecture at the ICCL|frameless|Teleteaching lecture at the ICCL]]

'''[[Graduation List]]'''

'''[http://www.computational-logic.org/old-page The Old CL Teaching Pages]''' Not maintained anymore since Dec 2004

See also the '''[[Sponsors]]''' of the International MSc Program

Datei:OpenHouse-small.jpg

2015-03-18T15:10:38Z

Ilja Shmelkin:

International MSc

2015-03-18T15:10:28Z

Ilja Shmelkin: /* Guests and Events */

==== '''Introduction''' ====

click '''[[Introduction|here]]''' to read the full article.

[[Datei:labor.jpg|mini|alt=Computational Logic students in the computer lab|frameless|Students in the computer lab]]

==== '''For Prospective Students''' ====

:[[Regulations for the Aptitude Assessment Procedure]]

:[[Study Prerequisites]]

:[[How To Apply]]

:[[Your Stay in Dresden]]

:[[Frequently Asked Questions]]

==== '''Business and Industry''' ====
[[Datei:TUD-ForschungBeratung.jpg.jpg|mini|alt=Advice at the Research Transfer Office of the university|frameless|Advice at the Research Transfer Office of the university]]

Computational logic is applied in many industrial and commercial applications like medicine, life sciences, pharmacological industry, sewage control, traffic control, data management and many other areas. Computational logic is also significant for the verification of safety-critical software and hardware, the specification and verification of embedded systems and for security issues. At the International Center for Computational Logic, we believe, this involvement with real world problems enhances our teaching and research by stimulating new ideas, programs and activities. We recognize and value these benefits of collaboration and are committed to building lasting partnerships with business and industry.
Within the International MSc Program in Computational Logic, we have been able to initiate student projects and placements with:

[http://www.hybris.de/ hybris]

[http://www.amtc-dresden.com/ Advanced Mask Technology Center Dresden]

[http://www.amd.com/ AMD Saxony]

[http://www.infineon.com/ Infineon Technologies Dresden]

[http://www.siemens.de/ Siemens]

Last update: Tue, 24 Oct 2006 23:46:21

==== '''Grants''' ====

===== '''Erasmus Mundus action 2 scholarship programme''' =====

[http://tu-dresden.de/internationales/erasmus_mundus Erasmus Mundus] grants are offered to applicants from selected partner universities.
Interested students must apply for the amdission related to the International MSc Program in Computational Logic until November.

===== '''Deutschlandstipendium''' =====

Students who are admitted to the International MSc program in Computational Logic program or who are studying in the program may apply for this financial support (about 300 EUR per month). The current announcement will be published mid of July. Further information on the conditions for granting and the application procedure is available from the [http://tu-dresden.de/studium/rund_ums_studium/finanzierung/deutschland_stipendium web page] maintained by the International Office of the Technische Universität Dresden.

===== '''The GE Foundation''' =====

The [http://www.ge.com/foundation/ General Electric Foundation]
offers various awards.

===== '''STIBET program''' =====

The TUD International Office offers mentoring scholarships and degree assistance to especially qualified foreign students of TU Dresden. The current announcement as well as the application form is provided [http://tu-dresden.de/internationales/int_stud/planning_your_course_of_studies/document.2009-01-26.8740332181 here].
Applications are possible between 1 December and 31 January / 1 June and 31 July (depending on the subject).

===== '''ERASMUS+ scholarships''' =====

TUD students can apply for [https://emcl-study.eu/fileadmin/emcl_booklet_tree/ma_support_em_tud.html#ma:Support:EM:TUD Erasmus+ scholarships] related to the study abroad. The monthly amount is about 200 EUR. Application deadline for this scholarship is NOVEMBER regarding the summer semester of the following year. More information is provided by the CL-secretary on request.

===== '''Further financial support''' =====

Students of the MSc program may apply for [http://www.computational-logic.org/content/study/master/current.php?id=43 financial support] related to the attendance of Summer schools or conferences.

==== '''Guests and Events''' ====
[[Datei:StudentsTeachingBahasa.jpg|mini|alt=Students teaching their fellows Bahasa Indonesia|frameless|Students teaching their fellows Bahasa Indonesia]]
====='''Guest Lecturers'''=====
click [[Guest Lecturers|'''here''']] to read the full article

====='''Scientific Talks'''=====

The International MSc Program in Computational Logic is truly international, with students coming from numerous different cultures. It is an endeavor of the International Center for Computational Logic (ICCL) to create an ambience where students and staff can intermingle freely and exchange ideas - whether the ideas come from the field of Computer Science or from the diversity of several cultural banners studying under one roof, the Center provides several opportunities to students to come up and discuss them.
The ICCL conducts weekly research seminars where both students and staff present their research topics, and invite constructive suggestions.
[[File:AtATalk-small.jpg|thumb|Students attending a talk|Students attending a talk]]
last updated Tue, 17 Mar 15

[[Social Events]]

last updated Thu, 23 Oct 14

=====''Open House'''=====
The International MSc Program in Computational Logic is truly international, with students coming from numerous different cultures. It is an endeavour of the International Center for Computational Logic (ICCL) to create an ambience where students and staff can intermingle freely and exchange ideas - whether the ideas come from the field of Computer Science or from the diversity of several cultural banners studying under one roof, the Center provides several opportunities to students to come up and discuss them.
In addition to the weekly research seminars, we and the staff of the Institute for Artificial Intelligence organize the Open House, a weekly meeting with the idea to bring staff and students closer together. Every Wednesday afternoon students and staff meet for an informal get-together on the 2nd floor in front of the rooms 2033 and 2034.
[[File:OpenHouse-small.jpg|thumb|Students and staff meet at the Open House|Students and staff meet at the Open House]]
last updated Tue, 9 Oct 07

==== '''Internals''' ====
[[Datei:ICCL-Teleteaching.jpg|mini|alt=Teleteaching lecture at the ICCL|frameless|Teleteaching lecture at the ICCL]]

'''[[Graduation List]]'''

'''[http://www.computational-logic.org/old-page The Old CL Teaching Pages]''' Not maintained anymore since Dec 2004

See also the '''[[Sponsors]]''' of the International MSc Program

Franz J. Kurfess/Abschlussarbeiten/en

2015-03-18T15:04:19Z