Study programme | Français | ||
Research Seminars: Verification | |||
Programme component of Master's Degree in Mathematics Research Focus à la Faculty of Science |
Code | Type | Head of UE | Department’s contact details | Teacher(s) |
---|---|---|---|---|
US-M2-MATHFA-014-M | Optional UE | BRUYERE Véronique | S829 - Informatique théorique |
|
Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Credits | Weighting | Term |
---|---|---|---|---|---|---|---|---|---|
| Français | 0 | 0 | 0 | 0 | 0 | 12.00 | 100.00 |
AA Code | Teaching Activity (AA) | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term | Weighting |
---|---|---|---|---|---|---|---|---|
S-INFO-046 | Research Seminars: Verification | 0 | 0 | 0 | 0 | 0 | A | 100.00% |
Unité d'enseignement |
---|
Objectives of Programme's Learning Outcomes
Learning Outcomes of UE
Initiation to scientific research in the domain of computer-aided verification.
Content of UE
Scientific articles related to computer-aided verification
Prior Experience
The students should have very good skills in computer science and/or in mathematics. They should be attracted by the scientific research.
Type of Assessment for UE in Q1
Q1 UE Assessment Comments
Not applicable
Type of Assessment for UE in Q2
Q2 UE Assessment Comments
Presentation and works 100%
Type of Assessment for UE in Q3
Q3 UE Assessment Comments
Presentation and works 100%
Q1 UE Resit Assessment Comments (BAB1)
Not applicable
Type of Teaching Activity/Activities
AA | Type of Teaching Activity/Activities |
---|---|
S-INFO-046 |
|
Mode of delivery
AA | Mode of delivery |
---|---|
S-INFO-046 |
|
Required Reading
AA | |
---|---|
S-INFO-046 |
Required Learning Resources/Tools
AA | Required Learning Resources/Tools |
---|---|
S-INFO-046 | Not applicable |
Recommended Reading
AA | |
---|---|
S-INFO-046 |
Recommended Learning Resources/Tools
AA | Recommended Learning Resources/Tools |
---|---|
S-INFO-046 | Not applicable |
Other Recommended Reading
AA | Other Recommended Reading |
---|---|
S-INFO-046 | Not applicable |
Grade Deferrals of AAs from one year to the next
AA | Grade Deferrals of AAs from one year to the next |
---|---|
S-INFO-046 | Autorisé |