To participate in the course you need to do three things:

• 1. Register online
• 2. Activate your Windows Account
• 3. Tell us your GitHub Account
• 4. Send us your public SSH key

1. Account creation
   1. Enter your personal data.
   2. Wait for the notification message sent to the e-mail address you entered in step 1.
   3. Confirm your registration by clicking on the link in the message.
   4. Wait for the second notification message, containing your password for the registration system.
2. Register for the ALP lecture
   1. Use your e-mail-address and password to login at https://uebungen.iai.uni-bonn.de
   2. Select the “Advanced Logic Programming” lecture
   3. Select every time when you have lectures or exercises (so that we know when you are NOT available for exercise groups)
   4. Save your input

Use the “Computer Science IT Service card”¹⁾ to enter the terminal pool A106 and Activate your Windows-account.

1. Go to GitHub and create a free account (if you don't have one yet).
2. Tell us your GitHub account name by Friday, April 11. (“Tell us ” = Send mail to the alp-staff list)

Why the GitHub account?

You will collaborate with the members of your exercise group and submit your exercise results via Git.
The Git repository that we use for the exercises is hosted at GitHub

Why use Git?

Git is the version control system that you will simply be expected to know when you willhave finished your master's degree. So better make sure you get to know it as soon as possible and use every opportunity to really master it! It will be one of the 'selling points' when you will aplly for a job.

You never heard about Git?

Then read Atlassian's Git tutorial and attend the “Git Crash Course” on Thursday, at 17:00 in Room A207 ← The ALP lecture room.

Tools. Linux has open-ssh installed. In Windows you create an ssh key with the open-ssh version that comes with MSysGit. For that you go to the MSysGit installation folder and start git-bash.bat

Ablauf. No matter whether you are on Linux or on a git-bash type:

ssh-keygen

When you are asked for a passphrase don't enter anything (leave it empty). When you are asked for a filename enter your firstname and lastname as follow

firstname.secondname

This creates two key files

• firstname.secondname.pub ← the public key that you send us (see below)
• firstname.secondname ← the private key that you need at your first connection to our Git server

You find them in your home directory (Linux) or in the “.ssh” folder of your user folder (Windows), or in the folder in which you invoked the ssh-keygen command.